AISC
2008
Springer
15 years 5 months ago
2008
Springer
Traditionally a rigorous mathematical document consists of a sequence of definition
125
click to vote
TPHOL
1999
IEEE
15 years 7 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...