Isabelle Primer for Mathematicians

Bogdan Grechuk

Research output: Book/ReportOther report

Abstract

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

Cite this