gappalib-coq-1.1.0


  • This support library provides vernacular files so that the certificates Gappa generates can be imported by the coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current coq goal.