Back to Results
First PageMeta Content
Predicate logic / Proof assistants / Mizar system / Andrzej Trybulec / Formal methods / First-order logic / TarskiGrothendieck set theory / Constructible universe / Mizar / Automated proof checking / Quantifier


Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski
Add to Reading List

Document Date: 2016-07-29 01:16:07

Open Document

File Size: 1,18 MB

Share Result on Facebook