github.com/coq/opam-coq-archive
Icharate: A logical Toolkit for Multimodal Categorial Grammars
opam install coq-icharate.8.10.0