PrototypeCommon
discus-lang/iron
Coq formalizations of functional languages.
- Owner
- discus-lang (organization)
- Stars
- Stars: 146
- Forks
- Forks: 8
- Language
- Coq
- License
- None
- Created
- 2013
- Topics
- coqlambda-calculustheoryproofcoq-formalizations
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by discus-lang
All 2 repos by discus-lang- discus-lang/ddcStars: 176HaskellPrototype
Nearby in Coq
All Coq repos- ilyasergey/pnpStars: 178CoqPrototype
- jwiegley/coq-haskellStars: 172CoqPrototype
- accordproject/ergoStars: 171CoqPrototype
- Lysxia/advent-of-coq-2018Stars: 141CoqPrototype
- rocq-archive/coq-serapiStars: 136CoqPrototype
- project-oak/silveroakStars: 133CoqPrototype