PrototypeCommune
leanprover-community/lean4web
Lean web editor
- Propriétaire
- leanprover-community (organisation)
- Étoiles
- Étoiles : 160
- Forks
- Forks : 65
- Langage
- TypeScript
- Licence
- Apache-2.0
- Création
- 2022
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de leanprover-community
Les 23 dépôts de leanprover-community- leanprover-community/mathlib4Étoiles : 4 414LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 818LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 625HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 576TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
D’autres dépôts TypeScript
Tous les dépôts TypeScript- T-Auto/dsh-stdÉtoiles : 160TypeScriptPrototype
- zeemscript/chogathonÉtoiles : 160TypeScriptPrototype
- athcagithub/postiz-leakedÉtoiles : 160TypeScriptPrototype
- benbalter/benbalter.github.comÉtoiles : 160TypeScriptPrototype
- niklasramo/mezrÉtoiles : 160TypeScriptPrototype
- ShogunPanda/fastimageÉtoiles : 160TypeScriptPrototype