PrototypeCommune
josevalim/lynx
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
- Propriétaire
- josevalim (compte personnel)
- Étoiles
- Étoiles : 170
- Forks
- Forks : 8
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de josevalim
Les 4 dépôts de josevalim- josevalim/enginexÉtoiles : 439RubyAlpha
- josevalim/livebooksÉtoiles : 205Prototype
- josevalim/syncÉtoiles : 175ElixirPrototype
D’autres dépôts Lean
Tous les dépôts Lean- lean-forward/logical_verification_2025Étoiles : 173LeanPrototype
- formalabstracts/formalabstractsÉtoiles : 170LeanPrototype
- Verified-zkEVM/VCVioÉtoiles : 170LeanPrototype
- openai/PrimeGaps186Étoiles : 169LeanPrototype
- verse-lab/loomÉtoiles : 167LeanPrototype