Literate proving: presenting and documenting formal proofs (2006)

Cached

Download Links

by Paul Cairns , Jeremy Gow , Ucl Intereaction Centre
Venue:4th Int. Conf. on Mathematical Knowledge Management, MKM 2005, LNCS 3863
Citations:2 - 2 self