Skip to content
/ ltac2 Public

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

Notifications You must be signed in to change notification settings

coq/ltac2

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 

Repository files navigation

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

About

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

Topics

Resources

Stars

Watchers

Forks

Packages

No packages published