Software

opentheory   •   metis   •   chess   •   software

Research Software

• The opentheory tool processes theory packages for the OpenTheory project.
• The Metis theorem prover for first order logic.

Powered by

• The fen2img chess diagram maker powers the Gilith chess diagram generator.
• The Gomi go playing program.

I now use GitHub for open source development.