Journal of Formalized Reasoning

Jebelean, Tudor, Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz (JKU), Austria

• Vol 9, No 1 (2016): Special Issue: Twenty Years of the QED Manifesto - QED 20th anniversary
  Theorema 2.0: Computer-Assisted Natural-Style Mathematics
  Abstract  PDF (English)