Document Versions

Towards Practical Reflection for Formal Mathematics –Martin Giese, Bruno Buchberger
Towards practical reflection for formal mathematics –Martin Giese, Bruno Buchberger — 2007