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