Software

Research Software

• The Metis theorem prover is released as free software.
• OpenTheory is a format for exchanging higher order logic proofs.

Powered by

• The Gomi go playing program is released as a Mac OS X binary.
• The Anadune Border Collie Database.