Back to Results
First PageMeta Content
Formal methods / Automated theorem proving / Mizar system / QED manifesto / Proof assistant / Automated proof checking / Automated reasoning / Mizar and Alcor / Mizar / Theoretical computer science / Mathematics / Applied mathematics


Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta
Add to Reading List

Document Date: 2011-08-12 05:51:25

Open Document

File Size: 250,72 KB

Share Result on Facebook
UPDATE