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