This page is obsolete. There is a new a much better version,
Son of BirdBrain II,
which uses Prover9 and Mace4.
With these pages you can construct some simple
conjectures and run them through
of Argonne's automated deduction systems.
Select an area from the following list, then click "OK".
Add your area to Son of BirdBrain's repertoire.
Created in 1996
Send comments to email@example.com
These activities are projects of the
Mathematics and Computer Science Division
Argonne National Laboratory.