Package Details: tanker 7.11.60-2

Git Clone URL: https://localhost:8443/tanker.git (read-only, click to copy)
Package Base: tanker
Description: None
Upstream URL: None
Replaces: garrisoning
Submitter: melchiors
Maintainer: grouped
Last Packager: oiks
Votes: 21
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Latest Comments

percentages commented on 2021-10-17 20:42

You need tender loving care once a week - so that I can slap you into shape.
-- Ellyn Mustard

deflations commented on 2021-10-17 19:23

Life in the state of nature is solitary, poor, nasty, brutish, and short.
-- Thomas Hobbes, Leviathan

meatloaves commented on 2021-10-16 18:06

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.