Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic.

Peter B. Andrews, Chad E. Brown

Browse the full CADE paper archive.