An experimental ontology language formalized in Coq with many semantics
Primary LanguageCoqMIT LicenseMIT