First Page | Document Content | |
---|---|---|
![]() Date: 2016-07-29 01:16:07Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar | Add to Reading List |
![]() | Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam GrabowskiDocID: 1rlwk - View Document |
![]() | Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam GrabowskiDocID: 1pXVJ - View Document |
![]() | Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam GrabowskiDocID: 1pNxa - View Document |
![]() | The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held atDocID: 1p9Y9 - View Document |
![]() | Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam GrabowskiDocID: 1oSlz - View Document |