5

Answers
votes newest views recent
18
How do they verify a verifier of formalized proofs?
3
Is there any proof assistant based on first-order logic?
1
Are there any good nonconstructive “existential metatheorems”?
1
The isomorphism inference rule
2
Non-constructive proofs of decidability?