PrototypeCommune
wilbowma/cur
A less devious proof assistant
- Propriétaire
- wilbowma (compte personnel)
- Étoiles
- Étoiles : 232
- Forks
- Forks : 18
- Langage
- Racket
- Licence
- BSD-2-Clause
- Création
- 2014
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Racket
Tous les dépôts Racket- greghendershott/rackjureÉtoiles : 237RacketPrototype
- waxeye-org/waxeyeÉtoiles : 234RacketPrototype
- lfkdsk/SICP-Magical-BookÉtoiles : 232RacketPrototype
- dmac/spinÉtoiles : 230RacketPrototype
- takikawa/drracket-vim-toolÉtoiles : 218RacketPrototype
- nanopass/nanopass-framework-racketÉtoiles : 207RacketPrototype