## Literate proving: presenting and documenting formal proofs (2006)

### Cached

### Download Links

- [www-users.cs.york.ac.uk]
- [www.uclic.ucl.ac.uk]
- DBLP

### Other Repositories/Bibliography

by
Paul Cairns
,
Jeremy Gow
,
Ucl Intereaction Centre

Venue: | 4th Int. Conf. on Mathematical Knowledge Management, MKM 2005, LNCS 3863 |

Citations: | 2 - 2 self |