Mizar’s Soft Type System
From MaRDI portal
Publication:3523189
DOI10.1007/978-3-540-74591-4_28zbMath1144.68370OpenAlexW1674553475MaRDI QIDQ3523189
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
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