research
∙
07/08/2022
Mathematical Proof Between Generations
A proof is one of the most important concepts of mathematics. However, t...
share
research
∙
05/28/2021
A Modular First Formalisation of Combinatorial Design Theory
Combinatorial design theory studies set systems with certain balance and...
research
∙
04/19/2021
