Skip to content

Ltac2 0.1 version for Coq 8.8

Pre-release
Pre-release
Compare
Choose a tag to compare
@ppedrot ppedrot released this 05 Jun 14:16
· 92 commits to master since this release
0.1
49736b7

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

Assets 2
Loading