research
∙
04/06/2022
Modular pre-processing for automated reasoning in dependent type theory
The power of modern automated theorem provers can be put at the service ...
share
research
∙
12/13/2019
