PrototypeCommon
wilbowma/cur
A less devious proof assistant
- Owner
- wilbowma (personal account)
- Stars
- Stars: 232
- Forks
- Forks: 18
- Language
- Racket
- License
- BSD-2-Clause
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Racket
All Racket repos- greghendershott/rackjureStars: 237RacketPrototype
- waxeye-org/waxeyeStars: 234RacketPrototype
- lfkdsk/SICP-Magical-BookStars: 232RacketPrototype
- dmac/spinStars: 230RacketPrototype
- takikawa/drracket-vim-toolStars: 218RacketPrototype
- nanopass/nanopass-framework-racketStars: 207RacketPrototype