PrototypeCommon
jonsterling/JonPRL
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
- Owner
- jonsterling (personal account)
- Stars
- Stars: 109
- Forks
- Forks: 8
- Language
- Standard ML
- License
- MIT
- Created
- 2015
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by jonsterling
All 2 repos by jonsterling- jonsterling/AquaUIStars: 155SwiftPrototype
Nearby in Standard ML
All Standard ML repos- pq-code-package/mldsa-nativeStars: 117Standard MLPrototype
- eirslett/package-trustStars: 114Standard MLPrototype
- mossdef-org/ipk.mossdef.orgStars: 113Standard MLPrototype
- PSPReverse/amd-sp-glitchStars: 108Standard MLPrototype
- sunchao/tigerStars: 105Standard MLPrototype
- UBMLtonGroup/RTMLtonStars: 100Standard MLPrototype