Theorem Proving in Dependently-Typed Higher-Order Logic.

Colin Rothgang, Florian Rabe, Christoph Benzmller

Browse the full CADE paper archive.