ALLIGATOR

Theorem Prover for Dependent Type Systems
(Pure Type Systems with Sigma Types)

-Request for source code-

To access the ALLIGATOR download page, please read the Creative Commons Attribution-NonCommercial-ShareAlike 2.0 England & Wales License under which the work is licensed and fill out the form below.

Last Name(s):
First Name(s):
E-mail:
Affiliation:



Creative Commons License

If you encounter any problems with submitting this form, contact