Skip to content

Latest commit

 

History

History
10 lines (8 loc) · 387 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 387 Bytes

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