Back to Results
First PageMeta Content
Logical syntax / Automated theorem proving / Proof theory / Model theory / Theorem / Mathematical proof / TeX / First-order logic / Unification / Logic / Mathematics / Mathematical logic


TUGboat, Volume[removed]), No[removed]ProofCheck: Writing and checking complete proofs in LATEX
Add to Reading List

Document Date: 2009-09-26 12:32:25

Open Document

File Size: 189,97 KB

Share Result on Facebook
UPDATE