GitHub repository: lthms/coqffi
Primary language: OCaml
Created: 2020-09-18T14:21:40Z
Description: Coq to OCaml FFI made easy