GitHub repository: CoqHott/exceptional-tt
Primary language: OCaml
Created: 2017-10-12T19:39:32Z
Description: A Coq plugin that implements exceptions in Coq