The Alligator theorem prover for dependent type systems: Description and proof samples Paul Piwek author 2006 text Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5) Johan Bos editor Alexander Koller editor conference publication piwek-2006-alligator https://aclanthology.org/W06-3918/ 2006