RepoMasters
Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits
AlphaPeu commune

antalsz/hs-to-coq

Convert Haskell source code to Coq source code

Archivé : ce dépôt n’évolue plus

Propriétaire
antalsz (compte personnel)
Étoiles
Étoiles : 283
Forks
Forks : 26
Langage
Coq
Licence
MIT
Création
2017
Rang
Alpha (250 à 699 ★) Ce que veut dire ce rang
Voir sur GitHub

D’autres dépôts Coq

Tous les dépôts Coq