Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Crossref DOI link: https://doi.org/10.1365/s13291-020-00221-1
Published Online: 2020-10-06
Published Print: 2021-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Koutsoukou-Argyraki, Angeliki
Text and Data Mining valid from 2020-10-06
Version of Record valid from 2020-10-06
Article History
First Online: 6 October 2020