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).
-
Notifications
You must be signed in to change notification settings - Fork 10
coq/ltac2
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