Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
Preprint in arXiv (June 2021)
The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.
Preprint in arXiv (June 2021)
Article in Software Practice and Experience (December 2014)
Book chapter in Applied Logic Series (January 2003)