System Description: TPS: A Theorem Proving System for Type Theory.

Peter B. Andrews, Matthew Bishop, Chad E. Brown

Browse the full CADE paper archive.