Isabelle/HOL Theories

XCend is based on a full formalization in Isabelle/HOL.

The full theory (as HTML and PDF) is available here:

Version Description Resources
ITP Published at ITP 2012 in Princeton. paper
PhD The accompanying theory of the PhD thesis. sources1)
1) A flat ZIP file of all “thy” files.
theory/start.txt · Last modified: 2013/07/02 11:44 by Patrick Michel
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki