PrototypeCommune
jwiegley/coq-haskell
A library for formalizing Haskell types and functions in Coq
- Propriétaire
- jwiegley (compte personnel)
- Étoiles
- Étoiles : 171
- Forks
- Forks : 13
- Langage
- Coq
- Licence
- BSD-3-Clause
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de jwiegley
Les 11 dépôts de jwiegley- jwiegley/use-packageÉtoiles : 4 453Emacs LispRC
- jwiegley/git-scriptsÉtoiles : 1 370ShellBêta
- jwiegley/emacs-asyncÉtoiles : 914Emacs LispBêta
- jwiegley/git-from-the-bottom-upÉtoiles : 893SCSSBêta
- jwiegley/category-theoryÉtoiles : 819Rocq ProverBêta
- jwiegley/dot-emacsÉtoiles : 795Emacs LispBêta
D’autres dépôts Coq
Tous les dépôts Coq- clarus/coq-chick-blogÉtoiles : 181CoqPrototype
- ilyasergey/pnpÉtoiles : 178CoqPrototype
- accordproject/ergoÉtoiles : 171CoqPrototype
- discus-lang/ironÉtoiles : 145CoqPrototype
- Lysxia/advent-of-coq-2018Étoiles : 141CoqPrototype
- rocq-archive/coq-serapiÉtoiles : 136CoqPrototype