PrototypeCommon
RedPRL/sml-redprl
The People's Refinement Logic
Archived: this repository is read-only
- Owner
- RedPRL (organization)
- Stars
- Stars: 229
- Forks
- Forks: 18
- Language
- Standard ML
- License
- MIT
- Created
- 2016
- Topics
- nuprlproof-assistanttype-theorycubical-type-theory
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by RedPRL
All 3 repos by RedPRL- RedPRL/coolttStars: 251OCamlAlpha
- RedPRL/redttStars: 224OCamlPrototype
Nearby in Standard ML
All Standard ML repos- eudoxia0/interimStars: 282Standard MLAlpha
- smlnj/smlnjStars: 256Standard MLAlpha
- gamelinux/pradsStars: 249Standard MLPrototype
- melsman/apltailStars: 220Standard MLPrototype
- rootkovska/codehash.dbStars: 214Standard MLPrototype
- Ravenbrook/mlworksStars: 181Standard MLPrototype