PrototypeCommon
josevalim/lynx
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
- Owner
- josevalim (personal account)
- Stars
- Stars: 170
- Forks
- Forks: 8
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by josevalim
All 4 repos by josevalim- josevalim/enginexStars: 439RubyAlpha
- josevalim/livebooksStars: 205Prototype
- josevalim/syncStars: 175ElixirPrototype
Nearby in Lean
All Lean repos- lean-forward/logical_verification_2025Stars: 173LeanPrototype
- formalabstracts/formalabstractsStars: 170LeanPrototype
- Verified-zkEVM/VCVioStars: 170LeanPrototype
- openai/PrimeGaps186Stars: 169LeanPrototype
- verse-lab/loomStars: 167LeanPrototype