GitHub topics: coq-formalization
INRIA/velus
A Lustre compiler in Coq
langage: Coq - taille: 9,86 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 3 mois - étoiles: 71 - forks: 7
Related Keywords
A Lustre compiler in Coq
langage: Coq - taille: 9,86 Mo - dernière synchronisation: il y a 6 jours - enregistré: il y a 3 mois - étoiles: 71 - forks: 7