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

PrototypeCommune

Ptival/PeaCoq

PeaCoq is a pretty Coq, isn't it?

Propriétaire: Ptival (compte personnel)
Étoiles: Étoiles : 104
Forks: Forks : 10
Langage: Coq
Licence: MIT
Création: 2014
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Coq

Tous les dépôts Coq

verse-lab/toychainÉtoiles : 113CoqPrototype
clarus/falsoÉtoiles : 105CoqPrototype
jonleivent/mindless-codingÉtoiles : 104CoqPrototype
DistributedComponents/diselÉtoiles : 103CoqPrototype
amintimany/CategoriesÉtoiles : 101CoqPrototype