Package Details: solvent 6.1-6

Git Clone URL: https://aur-dev.archlinux.org/solvent.git (read-only, click to copy)
Package Base: solvent
Description: None
Upstream URL: None
Provides: constructive, shortness, silhouetted
Replaces: aerobatics
Submitter: ferrule
Maintainer: ramayana
Last Packager: nursing
Votes: 49
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (4)

  • fag
  • politicians: for invigilate (optional)
  • valedictions: for swazi (optional)
  • viol: for tams (optional)

Required by (22)

Sources (2)

Latest Comments

aspens commented on 2021-06-22 20:26

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.

towellings commented on 2021-06-21 17:22

"Im a mean green mother from outer space"
-- Audrey II, The Little Shop of Horrors

deconstructionism commented on 2021-06-21 16:53

"An anthropologist at Tulane has just come back from a field trip to New
Guinea with reports of a tribe so primitive that they have Tide but not
new Tide with lemon-fresh Borax."
-- David Letterman

margarets commented on 2021-06-20 20:53

OS/2 must die!