theory:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
theory:start [2012/05/11 16:01] Patrick Michel theories renamed to theory:start |
theory:start [2013/07/02 11:44] (current) Patrick Michel |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Isabelle/HOL Theories ====== | ====== Isabelle/HOL Theories ====== | ||
| - | This page will soon host | + | [[:start]] is based on a full formalization in [[http://isabelle.in.tum.de|Isabelle/HOL]]. |
| - | * Isabelle/HOL source files for the complete theory behind XCend and | + | |
| - | * <nowiki>PDF</nowiki> files generated from the theory files. | + | The full theory (as <nowiki>HTML and PDF</nowiki>) is available here: |
| + | |||
| + | ^ Version ^ Description ^ Resources ^ | ||
| + | | [[https://xcend.de/theory/html/itp/|ITP]] | Published at [[http://itp2012.cs.princeton.edu|ITP 2012]] in Princeton. | [[https://softech.cs.uni-kl.de/twiki/pub/Homepage/Publikationen/itp12.pdf|paper]] | | ||
| + | | [[https://xcend.de/theory/html/phd/|PhD]] | The accompanying theory of the PhD thesis. | [[https://xcend.de/theory/html/phd/sources.zip|sources]]((A //flat// ZIP file of all "thy" files. )) | | ||
theory/start.1336744871.txt.gz · Last modified: 2012/05/11 16:01 by Patrick Michel
Page Tools
