3 ms·
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...
by 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...