Software
home
software
research
chess
go
about
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
.