Ltac2 source code has moved to the Coq repository. The other branches in this repo contain the source code for Coq versions before 8.11, but they are not maintained anymore. These versions can also be accessed through opam or the Windows installer of Coq (starting with 8.8.2).
coq/ltac2
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
Topics
Resources
Stars
Watchers
Forks
Packages 0
No packages published