research
∙
10/31/2021
Some axioms for mathematics
The lambda-Pi-calculus modulo theory is a logical framework in which man...
share
research
∙
09/24/2019
Use your Google Account to sign in to DeepAI
