The Alligator theorem prover for dependent type systems: Description and proof samples

Paul Piwek


Anthology ID:
W06-3918
Volume:
Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
Month:
Year:
2006
Address:
Editors:
Johan Bos, Alexander Koller
Venue:
ICoS
SIG:
SIGSEM
Publisher:
Note:
Pages:
Language:
URL:
https://aclanthology.org/W06-3918
DOI:
Bibkey:
Cite (ACL):
Paul Piwek. 2006. The Alligator theorem prover for dependent type systems: Description and proof samples. In Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5).
Cite (Informal):
The Alligator theorem prover for dependent type systems: Description and proof samples (Piwek, ICoS 2006)
Copy Citation:
PDF:
https://aclanthology.org/W06-3918.pdf