Literate proving: presenting and documenting formal proofs (2006)

by P Cairns, J Gow
Venue:4th Int. Conf. on Mathematical Knowledge Management, MKM 2005, LNCS 3863