PrototypeCommon
jwiegley/coq-pipes
No description.
- Owner
- jwiegley (personal account)
- Stars
- Stars: 100
- Forks
- Forks: 4
- Language
- Rocq Prover
- License
- None
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by jwiegley
All 11 repos by jwiegley- jwiegley/use-packageStars: 4,453Emacs LispRC
- jwiegley/git-scriptsStars: 1,370ShellBeta
- jwiegley/emacs-asyncStars: 914Emacs LispBeta
- jwiegley/git-from-the-bottom-upStars: 893SCSSBeta
- jwiegley/category-theoryStars: 819Rocq ProverBeta
- jwiegley/dot-emacsStars: 795Emacs LispBeta
Nearby in Rocq Prover
All Rocq Prover repos- logsem/iris-tutorialStars: 107Rocq ProverPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype
- ymherklotz/vericertStars: 101Rocq ProverPrototype