GitHub repository: nunchaku-inria/nunchaku-coq
Primary language: OCaml
Created: 2016-11-07T14:45:36Z
Description: Coq plugin for using Nunchaku from Coq