Isabelle Primer for Mathematicians (2010)

First Author: Bogdan Grechuk
Attributed to:  The potential of automated reasoning tools to assist the working mathematician funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://dream.inf.ed.ac.uk/projects/isabelle/Isabelle_Primer.pdf

Type: Technical Report