Publication View

Proof Environments for Formal Specification Languages (2008)

Abstract

Isabelle is not alone there are many successful theorem provers, e.g.: • Coq:

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.788
Source	http://www.infsec.ethz.ch/education/ws0405/csmr/material/27_hol_applications_other.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Brucker, HOL Applications, Other, Winter term 2004/05 (rev. 14823
Type	text
Language	English
Relation	10.1.1.31.5985, 10.1.1.34.7278, 10.1.1.30.8511, 10.1.1.35.655, 10.1.1.115.7123, 10.1.1.117.6453, 10.1.1.33.8443