ALLIGATOR THEOREM PROVER SOURCE CODE

If you encounter any problems with the link, contact