AlphaPeu commune
lecopivo/SciLean
Scientific computing in Lean 4
- Propriétaire
- lecopivo (compte personnel)
- Étoiles
- Étoiles : 540
- Forks
- Forks : 47
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2021
- Sujets
- lean4scientific-computingnumerical-methodssymbolic-computation
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de lecopivo
Les 2 dépôts de lecopivo- lecopivo/WaterSurfaceWaveletsÉtoiles : 151C++Prototype
D’autres dépôts Lean
Tous les dépôts Lean- litexlang/golitexÉtoiles : 683LeanAlpha
- AndrasKovacs/smallttÉtoiles : 611LeanAlpha
- teorth/equational_theoriesÉtoiles : 563LeanAlpha
- jinshanmu/CrouzeixConjectureÉtoiles : 531LeanAlpha
- anthropics/formal-mathÉtoiles : 449LeanAlpha
- ByteDance-Seed/Seed-ProverÉtoiles : 442LeanAlpha