research
∙
07/08/2022
Mathematical Proof Between Generations
A proof is one of the most important concepts of mathematics. However, t...
share
research
∙
06/23/2021
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle
How difficult are interactive theorem provers to use? We respond by revi...
research
∙
06/22/2021
