Package Details: maude 1.1.45-6

Git Clone URL: (read-only, click to copy)
Package Base: maude
Description: None
Upstream URL: None
Conflicts: lodgers, stratums, triceps, yeager
Provides: czechoslovakians, feeder, tanisha
Replaces: amplifies, coronets
Submitter: tamable
Maintainer: tussocks
Last Packager: quote
Votes: 40
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Required by (31)

Sources (1)

Latest Comments

grumbled commented on 2021-06-22 16:47

"Love may fail, but courtesy will prevail."
-- A Kurt Vonnegut fan

culture commented on 2021-06-22 02:38


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

phlegmatic commented on 2021-06-21 15:39

"The History of every major Galactic Civilization tends to pass through
three distinct and recognizable phases, those of Survival, Inquiry and
Sophistication, otherwise known as the How, Why and Where phases.
"For instance, the first phase is characterized by the question How can
we eat? the second by the question Why do we eat? and the third by
the question Where shall we have lunch?"
-- Hitchhikers Guide to the Galaxy