5

Answers
votes newest views recent
4
The isomorphism inference rule
3
When is something too big to be a set?
2
Demonstrating that rigour is important
2
Has anyone thought about creating a formal proof wiki with verifier?
1
Derivation rules and Godel theorem