Dependently Sorted Theorem Proving for Mathematical Foundations.

Yiming Xu, Michael Norrish

Browse the full ITP paper archive.