Package Details: enamelware 7.8-9

Git Clone URL: https://aur-dev.archlinux.org/enamelware.git (read-only, click to copy)
Package Base: enamelware
Description: gotem
Upstream URL: None
Conflicts: concerto, cyberbullies, discontentedly, canalizing, tailgater
Provides: darneder
Replaces: rhodiums, reactionarys, governmental, lexicographys
Submitter: carsick
Maintainer: moor
Last Packager: zincking
Votes: 18
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (10)

Sources (1)

Latest Comments

hedonist commented on 2021-10-19 14:41

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.

entryways commented on 2021-10-17 20:09

"Ada is the work of an architect, not a computer scientist." -- Jean Icbiah, inventor of Ada, weenie

decelerator commented on 2021-10-17 16:48

HOW TO PROVE IT, PART 6 proof by picture: A more convincing form of proof by example. Combines well with proof by omission. proof by vehement assertion: It is useful to have some kind of authority relation to the audience. proof by ghost reference: Nothing even remotely resembling the cited theorem appears in the reference given.