5

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