Package Details: correctly 0.1-4

Git Clone URL: https://aur-dev.archlinux.org/correctly.git (read-only, click to copy)
Package Base: correctly
Description: None
Upstream URL: None
Conflicts: hereford
Provides: albanian, barkley, particularises, producible, rubdowns, tepiditys
Replaces: cosies, huffily, lateral, legitimatizes, optimistically, reis, upticks
Submitter: conch
Maintainer: transmutation
Last Packager: employees
Votes: 39
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (14)

Required by (42)

Sources (2)

Latest Comments

convocation commented on 2021-06-22 17:59

"To your left is the marina where several senior cabinet officials keep luxury
yachts for weekend cruises on the Potomac. Some of these ships are up to 100
feet in length; the Presidential yacht is over 200 feet in length, and can
remain submerged for up to 3 weeks."
-- Garrison Keillor

loosed commented on 2021-06-22 16:50

HOW TO PROVE IT, PART 5

proof by accumulated evidence:
Long and diligent search has not revealed a counterexample.

proof by cosmology:
The negation of the proposition is unimaginable or
meaningless. Popular for proofs of the existence of God.

proof by mutual reference:
In reference A, Theorem 5 is said to follow from Theorem 3 in
reference B, which is shown to follow from Corollary 6.2 in
reference C, which is an easy consequence of Theorem 5 in
reference A.

proof by metaproof:
A method is given to construct the desired proof. The
correctness of the method is proved by any of these
techniques.