AISC
2008
Springer
13 years 7 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
TPHOL
1999
IEEE
13 years 9 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...