Isabelle import infrastructure for the Mizar Mathematical Library
From MaRDI portal
Publication:1798961
DOI10.1007/978-3-319-96812-4_13zbMath1417.68185OpenAlexW2883813939WikidataQ108482119 ScholiaQ108482119MaRDI QIDQ1798961
Publication date: 18 October 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4_13
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. ⋮ Declarative Proof Translation (Short Paper)
Uses Software
This page was built for publication: Isabelle import infrastructure for the Mizar Mathematical Library
