2015/09/15 by Adam Grabowski, Artur Korniłowicz, Adam Naumowicz
Computer Science · Mathematics · #Automated proof checking #Automated theorem proving #Calculus (dental) #Computability, Logic, AI Algorithms #Computer science #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematical proof #Mathematics #Programming language #Proof assistant #Software engineering
paper · pdf · doi:10.1007/s10817-015-9345-1
crossref issued 2015/09/15 · crossref published 2015/09/15 · crossref published-online 2015/09/15 · openalex publication_date 2015/09/15 · crossref created 2015/09/15 · crossref published-print 2015/10/01 · crossref deposited 2020/09/08 · openalex created_date 2025/10/10 · crossref indexed 2026/08/05 · openalex updated_date 2026/08/05
This special issue is dedicated to works related to Mizar , the theorem proving project started by Andrzej Trybulec in the 1970s, and other automated proof checking systems used for formalizing mathematics.