Journal of Formalized Reasoning

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

Publications (1)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

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