PrototypeCommon
argumentcomputer/yatima
A zero-knowledge Lean4 compiler and kernel
- Owner
- argumentcomputer (organization)
- Stars
- Stars: 148
- Forks
- Forks: 12
- Language
- Lean
- License
- MIT
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by argumentcomputer
All 3 repos by argumentcomputer- argumentcomputer/yatima-lang-alphaStars: 445RustAlpha
- argumentcomputer/ixStars: 107RustPrototype
Nearby in Lean
All Lean repos- josevalim/lynxStars: 152LeanPrototype
- lfglabs-dev/verityStars: 151LeanPrototype
- flypitch/flypitchStars: 150LeanPrototype
- kmill/lean4-raytracerStars: 147LeanPrototype
- Timeroot/Lean-QuantumInfoStars: 146LeanPrototype
- loganrjmurphy/LeanEuclidStars: 145LeanPrototype