Results 1 
1 of
1
Formal Proof Sketches
 In Proceedings of TYPESâ€™03, volume 3085 of LNCS
, 2002
"... We de ne the notion of formal proof sketch for the mathematical language Mizar. We show by examples that formal proof sketches are very close to informal mathematical proofs. We discuss some ways in which formal proof sketches might be used to improve mathematical proof assistants. 1 ..."
Abstract

Cited by 22 (3 self)
 Add to MetaCart
We de ne the notion of formal proof sketch for the mathematical language Mizar. We show by examples that formal proof sketches are very close to informal mathematical proofs. We discuss some ways in which formal proof sketches might be used to improve mathematical proof assistants. 1