research
∙
03/10/2023
Lemmas: Generation, Selection, Application
Noting that lemmas are a key feature of mathematics, we engage in an inv...
share
research
∙
02/14/2023
Investigations into Proof Structures
We introduce and elaborate a novel formalism for the manipulation and an...
research
∙
04/28/2021
