Skip to content

Backport version of Ltac2 to Coq 8.7

Pre-release
Pre-release
Compare
Choose a tag to compare
@Zimmi48 Zimmi48 released this 05 Jun 09:20
· 108 commits to master since this release
v0.1-8.7
d0591d1

This version should be functionally equivalent to Ltac2 0.1 (for Coq 8.8):

A very alpha release of Ltac2 compatible with Coq 8.8 to give a foretaste of the language.

Assets 2
Loading