coq-plugin-lib/src/coq/logicutils/typesandequality at master · uwplse/coq-plugin-lib · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
checking.ml		checking.ml
checking.mli		checking.mli
convertibility.ml		convertibility.ml
convertibility.mli		convertibility.mli
inference.ml		inference.ml
inference.mli		inference.mli