Clam

Source tarball available for Clam and Oyster systems;

this provides proof planning and theorem proving for a version of Matin-Lof type theory.

This is Clam 2.8.4, which comes with extensive documentation. The code runs under Sictus 3.12.

Alan Smaill
Last modified: Tue Jul 11 14:56:02 BST 2006