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 environ un an - enregistré: il y a presque 7 ans - étoiles: 31 - forks: 10