User Tools

Site Tools


theory:start

This is an old revision of the document!


Isabelle/HOL Theories

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

The full theory (as HTML and PDF) can be found here.

theory/start.1344599321.txt.gz · Last modified: 2012/08/10 13:48 by Patrick Michel