System Description: Proof Planning in Higher-Order Logic with Lambda-Clam.

Julian Richardson, Alan Smaill, Ian Green

Browse the full CADE paper archive.