github.com/coq/opam-coq-archive
Knowledge-based Dependently Typed Language (KDTL)
opam install coq-lesniewski-mereology.8.10.0