Isabelle Primer for Mathematicians

Bogdan Grechuk

Research output: Book/ReportOther report

Abstract / Description of output

This is a quick introduction to the Isabelle/HOL proof assistant, aimed at mathematicians who would like to use it for the formalization of mathematical results.
Original languageEnglish
PublisherSchool of Informatics
Publication statusPublished - 2010


Dive into the research topics of 'Isabelle Primer for Mathematicians'. Together they form a unique fingerprint.

Cite this