10

Answers
votes newest views recent
6
Arithmetic strength of Peano + the Howard ordinal
2
Why no morphisms from the contradictory proposition to the inconsistent context?
5
Reduction rules for inductive types
4
categorifying induction in homotopy type theory
3
Mechanically instantiating abstract constructions
5
Ackermann-related function
6
Reference request for type theory
3
Is there any proof assistant based on first-order logic?
5
Is any true sentence in the second-order Peano Axioms provable
4
Theorems for nothing (and the proofs for free)