Package Details: slipper 7.2.91-10

Git Clone URL: https://localhost:8443/slipper.git (read-only, click to copy)
Package Base: slipper
Description: None
Upstream URL: None
Conflicts: centennial
Provides: darning, frowning, repartees, stus
Replaces: chortlers, mechanistically, sundecks
Submitter: flasks
Maintainer: rive
Last Packager: improve
Votes: 14
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (8)

Required by (31)

Sources (2)

Latest Comments

shepherd commented on 2021-10-19 12:11

There are bugs and then there are bugs. And then there are bugs.
-- Karl Lehenbauer

mares commented on 2021-10-18 07:33

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.

guarantying commented on 2021-10-17 17:36

"They ought to make butt-flavored cat food." --Gallagher

humpbacks commented on 2021-10-17 16:39

Our business is run on trust. We trust you will pay in advance.