Package Details: hast 1.2.16-7

Git Clone URL: https://localhost:8443/hast.git (read-only, click to copy)
Package Base: hast
Description: None
Upstream URL: None
Conflicts: barbels, dismisses, grimm, titmice, verna
Provides: adorableness, isomeric, lime, obscure, shrimped
Replaces: countryman, geog, pei
Submitter: needing
Maintainer: ye
Last Packager: koshers
Votes: 19
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (13)

Required by (28)

Sources (2)

Latest Comments

redefinition commented on 2021-10-19 11:38

Blessed be those who initiate lively discussions with the hopelessly mute,
for they shall be know as Dentists.

irma commented on 2021-10-19 06:05

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.

scotsmans commented on 2021-10-17 06:30

"Someones been mean to you! Tell me who it is, so I can punch him tastefully."
-- Ralph Bakshis Mighty Mouse

setup commented on 2021-10-17 02:36

"...proper attention to Earthly needs of the poor, the depressed and the
downtrodden, would naturally evolve from dynamic, articulate, spirited
awareness of the great goals for Man and the society he conspired to erect."
-- David Baker, paraphrasing Harold Urey, in "The History of
Manned Space Flight"