Coq 8.11.0 released, featuring new Ltac2 tactic language (github.com)

1 points by TheAsprngHacker 6y ago ↗ HN

1 comment

[ 2.9 ms ] story [ 14.9 ms ] thread

TheAsprngHacker 6y ago ↗

Ltac2 in the documentation: https://coq.inria.fr/distrib/current/refman/proof-engine/lta...