System description: Proof planning in higher-order logic with $Clam

Julian Richardson, Alan Smaill, Ian Green

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'System description: Proof planning in higher-order logic with $Clam'. Together they form a unique fingerprint.

Engineering & Materials Science