PrototypeCommune
argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
- Propriétaire
- argumentcomputer (organisation)
- Étoiles
- Étoiles : 148
- Forks
- Forks : 12
- Langage
- Lean
- Licence
- MIT
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de argumentcomputer
Les 3 dépôts de argumentcomputer- argumentcomputer/yatima-lang-alphaÉtoiles : 445RustAlpha
- argumentcomputer/ixÉtoiles : 107RustPrototype
D’autres dépôts Lean
Tous les dépôts Lean- josevalim/lynxÉtoiles : 152LeanPrototype
- lfglabs-dev/verityÉtoiles : 151LeanPrototype
- flypitch/flypitchÉtoiles : 150LeanPrototype
- kmill/lean4-raytracerÉtoiles : 147LeanPrototype
- Timeroot/Lean-QuantumInfoÉtoiles : 146LeanPrototype
- loganrjmurphy/LeanEuclidÉtoiles : 145LeanPrototype