research
∙
04/06/2023
Logipedia: a multi-system encyclopedia of formal proofs
Libraries of formal proofs are an important part of our mathematical her...
research
∙
10/31/2021
Some axioms for mathematics
The lambda-Pi-calculus modulo theory is a logical framework in which man...
research
∙
07/05/2018