Isabelle Primer for Mathematicians (2010)
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