Son of BirdBrain II

Updated for version August-2006A of Prover9/Mace4.

With these pages you can construct some simple abstract algebra and logic problems and run them through Prover9, which searches for proofs, and Mace4, which searches for counterexamples.

A New Feature: In addition to selecting hypotheses and conclusions from lists of formulas, you can compose your own.

This system is a successor to the original Son of BirdBrain, which uses Otter and Mace2.

Select an area from the following menu, then click "OK".
Contribute new areas to Son of BirdBrain II's repertoire.

What's really going on here?

Created in 2005
Send comments to William McCune