Transcend

User Tools

Site Tools

Trace: • index.html • Isabelle/HOL Theories
From: theory:index.html
theory:start

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: by Patrick Michel
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki