Package Details: sheerness 2.12-1

Git Clone URL: https://aurweb-sql-alchemy-2-x.sandbox.archlinux.page/sheerness.git (read-only, click to copy)
Package Base: sheerness
Description: None
Upstream URL: None
Conflicts: mallarm
Replaces: combingss, jessicas, nonrigid
Submitter: oregano
Maintainer: messes
Last Packager: mutineers
Votes: 19
Popularity: 0.000000
First Submitted: 2026-05-17 15:27 (UTC)
Last Updated: 2026-05-17 15:27 (UTC)

Dependencies (11)

Required by (5)

Sources (2)

Latest Comments

postponements commented on 2026-05-20 06:11 (UTC)

-- -- uunet!sugar!karl | "Weve been following your progress with considerable -- karl@sugar.uu.net | interest, not to say contempt." -- Zaphod Beeblebrox IV -- Usenet BBS (713) 438-5018 th-th-th-th-Thats all, folks! ----------- cut here, dont forget to strip junk at the end, too ------------- "Psychoanalysis?? I thought this was a nude rap session!!!" -- Zippy

sombernesss commented on 2026-05-17 16:47 (UTC)

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.