Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

barry-jay-personal/tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

Owner: barry-jay-personal (personal account)
Stars: Stars: 207
Forks: Forks: 10
Language: Coq
License: MIT
Created: 2020
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Coq

UniMath/FoundationsStars: 247CoqPrototype
sifive/KamiStars: 232CoqPrototype
jscert/jscertStars: 208CoqPrototype
uwplse/verdi-raftStars: 204CoqPrototype
clarus/coq-chick-blogStars: 181CoqPrototype
ilyasergey/pnpStars: 178CoqPrototype