System Description: TPS: A Theorem Proving System for Type Theory (0)

by P B Andrews, M Bishop, C E Brown
Venue:In D. McAllester (Ed.): Automated Deduction - CADE-17; 17th International Conference on Automated Deduction, Pittsburgh, PA, Lecture Notes in Artificial Intelligence