Beautiful formalizations in Isabelle/Naproche
From MaRDI portal
Publication:2128789
DOI10.1007/978-3-030-81097-9_2zbMath1485.68290MaRDI QIDQ2128789
Peter Koepke, Adrian De Lon, Anton Lorenzen, Adrian Marti, Marcel Schütz, Erik Sturzenhecker
Publication date: 22 April 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81097-9_2
68V20: Formalization of mathematics in connection with theorem provers
Uses Software
Cites Work