- 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:
- 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)
- PDF:
- https://preview.aclanthology.org/ingest-acl-2023-videos/W06-3918.pdf