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

PrototypeCommune

barry-jay-personal/tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

Propriétaire: barry-jay-personal (compte personnel)
Étoiles: Étoiles : 206
Forks: Forks : 10
Langage: Coq
Licence: MIT
Création: 2020
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

UniMath/FoundationsÉtoiles : 247CoqPrototype
sifive/KamiÉtoiles : 232CoqPrototype
jscert/jscertÉtoiles : 208CoqPrototype
uwplse/verdi-raftÉtoiles : 204CoqPrototype
clarus/coq-chick-blogÉtoiles : 181CoqPrototype
ilyasergey/pnpÉtoiles : 178CoqPrototype