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

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

24 May 2023

Christoph Benzmüller

ArXiv (abs)PDF HTML

Papers citing "Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint"

Title
No papers