Journal of Formalized Reasoning

Rabe, Florian, Computer Science Jacobs University Bremen, Germany

• Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto - QED 20th anniversary
  QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
  Abstract  PDF (English)