DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Mizar system
Mizar system
Enhancement of Properties in Mizar
Arxiv:2005.03089V1 [Cs.LO] 5 May 2020 Abstract ??? Accepted: / ??? Received: Optrsine a Erlangen-N¨Urnberg E.G
A Comparison of the Mathematical Proof Languages Mizar and Isar
Formalising Mathematics in Simple Type Theory
Case Studies in Proof Checking Robert C
Mizar in a Nutshell
Proof Assistants: History, Ideas and Future
Wikis and Collaborative Systems for Large Formal Mathematics
Semantics of Mizar As an Isabelle Object Logic
Computer Theorem Proving in Math Carlos Simpson
Commutative Algebra in the Mizar System
Presentation and Manipulation of Mizar Properties in an Isabelle Object Logic?
Comparing Mathematical Provers
A Simplified Framework for First-Order Languages and Its Formalization In
Intelligent Computer Mathematics International Conference, CICM 2015 Washington, DC, USA, July 13–17, 2015 Proceedings
Automatic Theorem Proving
A Declarative Language for the Coq Proof Assistant.
History of Interactive Theorem Proving
Top View