PrototypeCommune
cajal-technologies/talos
Wasm interpreter in lean, designed for reasoning
- Propriétaire
- cajal-technologies (organisation)
- Étoiles
- Étoiles : 191
- Forks
- Forks : 37
- Langage
- Lean
- Licence
- AGPL-3.0
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- leanprover-community/lean-autoÉtoiles : 195LeanPrototype
- lean-ja/lean-by-exampleÉtoiles : 193LeanPrototype
- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype
- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanEthereum/leanVMÉtoiles : 178LeanPrototype
- leanprover/doc-gen4Étoiles : 177LeanPrototype