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.	sources¹⁾

¹⁾

A flat ZIP file of all “thy” files.

Transcend