A Natural Deduction Theorem Prover
with proofs as typed lambda terms

Download page for source code

To download a .zip file with the ALLIGATOR source code (SWI and Sictus), please read the Creative Commons Attribution-NonCommercial-ShareAlike 2.0 England & Wales License under which the work is licensed, fill out the form and click the accept button.

Last Name(s):
First Name(s):

Creative Commons License

If you encounter any problems with downloading the .zip file with the source code, contact