, University of Innsbruck, Austria
-
Journal of Formalized Reasoning Vol. 7 No. 1 (2014) - Articles
Certified Kruskal's Tree Theorem
Abstract PDF -
Journal of Formalized Reasoning Vol. 9 No. 1 (2016): Special Issue: Twenty Years of the QED Manifesto - QED 20th anniversary
Hammering towards QED
Abstract PDF