gappalib-coq-1.3.4


  • 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.