AISC
2008
Springer
14 years 11 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
77
Voted
TPHOL
1999
IEEE
15 years 1 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...