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
∙
07/06/2021
General Automation in Coq through Modular Transformations
Whereas proof assistants based on Higher-Order Logic benefit from extern...
research
∙
04/02/2018
