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