A Coq plugin that implements exceptions in Coq
Primary LanguageOCamlDo What The F*ck You Want To Public LicenseWTFPL