5

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