Back to Results
First PageMeta Content
Predicate logic / Logic in computer science / Theoretical computer science / Type theory / Formal methods / ΛProlog / Unification / Logic programming / Lambda calculus / Mathematical logic / Logic / Mathematics


The Abella Interactive Theorem Prover (System Description) arXiv:0803.2305v2 [cs.LO] 23 May[removed]Andrew Gacek
Add to Reading List

Document Date: 2008-05-23 11:30:13

Open Document

File Size: 114,92 KB

Share Result on Facebook
UPDATE