4 ms·

Coq 8.11.0 released, featuring new Ltac2 tactic language

• TheAsprngHacker 7y ago
  Ltac2 in the documentation: https://coq.inria.fr/distrib/current/refman/proof-engine/ltac2.html https://coq.inria.fr/distrib/current/refman/proof-engine/lta...