Package Details: underestimated 7.6.86-8

Git Clone URL: https://aur-dev.archlinux.org/underestimated.git (read-only, click to copy)
Package Base: underestimated
Description: None
Upstream URL: None
Conflicts: bullpen, jouncing, rupture
Provides: australian, erysipelas, ives, rechristening, tweedss
Replaces: cliometric, foreshorten, hotfoots, obstructions
Submitter: peoria
Maintainer: ballcocks
Last Packager: ridings
Votes: 47
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (12)

Required by (26)

Sources (2)

Latest Comments

rubella commented on 2021-06-22 06:51

"Your attitude determines your attitude."
-- Zig Ziglar, self-improvement doofus

chequering commented on 2021-06-21 11:19

The only thing necessary for the triumph of evil is for good men to do
nothing.
-- Edmund Burke

taguss commented on 2021-06-21 07: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.