Package Details: detonated 1.15.57-7

Git Clone URL: https://aur-dev.archlinux.org/detonated.git (read-only, click to copy)
Package Base: detonated
Description: None
Upstream URL: None
Conflicts: equidistant
Provides: cochabambas, fretsaws, guardsmans, gushs, restringing
Replaces: diode, starveling
Submitter: calcification
Maintainer: backrests
Last Packager: postures
Votes: 48
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Required by (23)

Sources (1)

Latest Comments

promiscuously commented on 2021-06-23 04:04

"Our journey toward the stars has progressed swiftly.

In 1926 Robert H. Goddard launched the first liquid-propelled rocket,
achieving an altitude of 41 feet. In 1962 John Glenn orbited the earth.

In 1969, only 66 years after Orville Wright flew two feet off the ground
for 12 seconds, Neil Armstrong, Buzz Aldrin and I rocketed to the moon
in Apollo 11."
-- Michael Collins
Former astronaut and past Director of the National Air and Space
Museum

grateful commented on 2021-06-20 19:14

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.