Sujet: "coq-formalization"
INRIA/velus
A Lustre compiler in Coq
langage: Coq - taille: 12,3 Mo - dernière synchronisation: il y a 2 mois - enregistré: il y a 8 mois - étoiles: 70 - forks: 6
Sujets associés
A Lustre compiler in Coq
langage: Coq - taille: 12,3 Mo - dernière synchronisation: il y a 2 mois - enregistré: il y a 8 mois - étoiles: 70 - forks: 6