coq/ltac2

A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

taille: 658 ko - dernière synchronisation: il y a 9 mois - enregistré: il y a plus de 6 ans - étoiles: 31 - forks: 10