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

City

Natal / /

Country

Brazil / /

Person

Isabelle Coq Mizar Twelf Metamath / Isabelle Coq / /

SocialTag