research
∙
05/24/2023
Theorem Proving in Dependently-Typed Higher-Order Logic – Extended Preprint
Higher-order logic HOL offers a very simple syntax and semantics for rep...
research
∙
12/05/2017