Mizar’s Soft Type System

DOI10.1007/978-3-540-74591-4_28zbMath1144.68370OpenAlexW1674553475MaRDI QIDQ3523189

Freek Wiedijk

Publication date: 2 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74591-4_28

Mathematics Subject Classification ID

Related Items

Hammer for Coq: automation for dependent type theory, Isabelle/HOL/GST: a formal proof environment for generalized set theories, Custom automations in Mizar, Representing model theory in a type-theoretical logical framework, Formalization of the fundamental group in untyped set theory using auto2, Formalising foundations of mathematics

Uses Software

• Mizar