Picture for Colin Rothgang

Colin Rothgang

Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint

Add code
May 24, 2023
Viaarxiv icon