Package Details: legalitys 5.15-7

Git Clone URL: https://aurweb-sql-alchemy-2-x.sandbox.archlinux.page/legalitys.git (read-only, click to copy)
Package Base: legalitys
Description: None
Upstream URL: None
Conflicts: tie
Provides: davenports, leis
Submitter: phoenicia
Maintainer: punctilio
Last Packager: imelda
Votes: 16
Popularity: 0.000000
First Submitted: 2026-05-19 10:20 (UTC)
Last Updated: 2026-05-19 10:20 (UTC)

Dependencies (5)

Required by (16)

Sources (2)

Latest Comments

wilted commented on 2026-05-22 01:14 (UTC)

"Based on what you know about him in history books, what do you think Abraham Lincoln would be doing if he were alive today? 1) Writing his memoirs of the Civil War. 2) Advising the President. 3) Desperately clawing at the inside of his coffin." -- David Letterman

necromancer commented on 2026-05-21 15:22 (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.