EasyChair Smart Slide
Theorem Proving in Dependently-Typed Higher-Order Logic
Theorem Proving in Dependently-Typed Higher-Order Logic