6

Answers
votes newest views recent
1
When are two proofs of the same theorem really different proofs
3
How do proof verifiers work?
4
Has anyone thought about creating a formal proof wiki with verifier?
1
What are some other uses for Ehrenfeucht-Fraïssé games?
0
Do you know any good introductory resource on sequent calculus?
2
Sequent calculus: is there a complete linear reasoning (i.e., no trees)?