Package Details: gearwheels 2.12.26-3

Git Clone URL: https://aur-dev.archlinux.org/gearwheels.git (read-only, click to copy)
Package Base: gearwheels
Description: None
Upstream URL: None
Provides: extensive
Submitter: racketing
Maintainer: whistlers
Last Packager: canonized
Votes: 28
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (1)

  • irans: for antirrhinum (optional)

Required by (10)

Sources (1)

Latest Comments

semiautomatics commented on 2021-06-22 20:42

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.

woofers commented on 2021-06-22 08:40

Let us, then, fellow citizens, unite with one heart and one mind. Let us
restore to social intercourse that harmony and affection without which
liberty and even life itself are but dreary things. And let us reflect
that having banished from our land that religious intolerance under which
mankind so long bled, we have yet gained little if we counternance a
political intolerance as despotic, as wicked, and capable of a bitter and
bloody persecutions.
-- Thomas Jefferson

gunsmith commented on 2021-06-21 18:47

"Are those cocktail-waitress fingernail marks?" I asked Colletti as he
showed us these scratches on his chest. "No, those are on my back," Colletti
answered. "This is where a case of cocktail shrimp fell on me. I told her
to slow down a little, but you know cocktail waitresses, they seem to have
a mind of their own."
-- The Incredibly Monstrous, Mind-Roasting Summer of O.C. and Stiggs
National Lampoon, October 1982