FRDCSA
Minor
Internal
External
Git
Packages
gappalib-coq-1.0.0
Jump To:
Parent Description
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.