GitHub topics: coq-formalization
INRIA/velus
A Lustre compiler in Coq
langage: Rocq Prover - taille: 12,3 Mo - dernière synchronisation: il y a 8 jours - enregistré: il y a environ 2 mois - étoiles: 71 - forks: 8
Related Keywords
A Lustre compiler in Coq
langage: Rocq Prover - taille: 12,3 Mo - dernière synchronisation: il y a 8 jours - enregistré: il y a environ 2 mois - étoiles: 71 - forks: 8