https://github.com/coq/ltac2

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.
https://github.com/coq/ltac2

coq-plugin

Last synced: 4 months ago
JSON representation

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

• Host: GitHub
• URL: https://github.com/coq/ltac2
• Owner: coq
• Created: 2017-07-24T16:33:31.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-06-05T12:17:59.000Z (over 5 years ago)
• Last Synced: 2024-09-30T20:07:58.520Z (4 months ago)
• Topics: coq-plugin
• Homepage:
• Size: 658 KB
• Stars: 31
• Watchers: 10
• Forks: 10
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Archived repository of Ltac2

============================

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 repository]: https://github.com/coq/coq