A Brief Overview of Mizar

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-642-03359-9_5 ◽

2009 ◽

pp. 67-72 ◽

Author(s):

Adam Naumowicz ◽

Artur Korniłowicz

Download Full-text