Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Automated theorem proving / Proof assistant / Type theory / POPLmark challenge / Twelf / HOL / Matita / Theoretical computer science / Mathematical software / Mathematical logic


Document Date: 2010-08-30 07:17:32

Open Document

File Size: 638,48 KB

Share Result on Facebook
UPDATE