The Work

TPS: a theorem-proving system for classical type theory

The details

The Author

Peter B. Andrews

The offers