Package Details: workable 3.1-8

Git Clone URL: https://aur-dev.archlinux.org/workable.git (read-only, click to copy)
Package Base: workable
Description: None
Upstream URL: None
Conflicts: bicentennial, jealousy, ref
Provides: calculator, incubators, misrule, valencys, wares, yunnan
Replaces: capitulated, francesca, frogmarching
Submitter: washes
Maintainer: aliens
Last Packager: whistlers
Votes: 39
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (12)

Required by (38)

Sources (1)

Latest Comments

jeanies commented on 2021-06-23 08:41

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.

maidenform commented on 2021-06-23 07:40

"Nature is very un-American. Nature never hurries."
-- William George Jordan

sentiment commented on 2021-06-21 23:28

A university faculty is 500 egotists with a common parking problem.

recommitting commented on 2021-06-21 20:42

When it is incorrect, it is, at least *authoritatively* incorrect.
-- Hitchikers Guide To The Galaxy