5

Answers
votes newest views recent
6
Examples of interesting false proofs
2
Proof strength of Calculus of (Inductive) Constructions
9
Is equality of terms for “real” numbers with roots, logarithm, exponential, sin, cos, and other trigonometric operations decidable with a Turing-machine?
1
cryptographic primitive process
2
An exercise about Tor