Literate proving: Presenting and documenting formal proofs (0)

by Paul Cairns, Jeremy Gow
Venue:In Kohlhase [14