Back to Results
First PageMeta Content
Proof theory / Mathematical logic / Logic / Mathematics / Sequent calculus / Sequent / Mathematical proof / Cut-elimination theorem / Formal proof / Proof complexity / Theorem / Metamath


Advanced Proof Viewing in P ROOF T OOL Tomer Libal Martin Riener∗ Mikheil Rukhaia†
Add to Reading List

Document Date: 2014-07-19 11:46:07

Open Document

File Size: 1,62 MB

Share Result on Facebook