Journal of Formalized Reasoning

ISSN: 1972-5787
Publisher: CIB - University of Bologna

Publications (1)

QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016) Kohlhase M, Rabe F Journal article, Original article