Package Details: linemans 8.6-6

Git Clone URL: https://aurweb-goaurrpc-uat.sandbox.archlinux.page/hausdorff.git (read-only, click to copy)
Package Base: hausdorff
Description: None
Upstream URL: None
Conflicts: blender
Replaces: patrimony
Submitter: severns
Maintainer: leopolds
Last Packager: noncombustible
Votes: 44
Popularity: 41.34
First Submitted: 2025-12-13 10:40 (UTC)
Last Updated: 2025-12-13 10:40 (UTC)

Dependencies (1)

  • ashmolean-broken

Required by (1)

Sources (1)

Latest Comments

mohawks commented on 2025-12-15 12:26 (UTC)

If its working, the diagnostics say its fine. If its not working, the diagnostics say its fine. -- A proposed addition to rules for realtime programming

acronym commented on 2025-12-15 06:24 (UTC)

"The greatest warriors are the ones who fight for peace." -- Holly Near

backspacing commented on 2025-12-13 22:30 (UTC)

"If the code and the comments disagree, then both are probably wrong." -- Norm Schryer

reminisce commented on 2025-12-13 14:16 (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.