AlphaUncommon
lecopivo/SciLean
Scientific computing in Lean 4
- Owner
- lecopivo (personal account)
- Stars
- Stars: 542
- Forks
- Forks: 47
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Topics
- lean4scientific-computingnumerical-methodssymbolic-computation
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by lecopivo
All 2 repos by lecopivo- lecopivo/WaterSurfaceWaveletsStars: 151C++Prototype
Nearby in Lean
All Lean repos- litexlang/golitexStars: 685LeanAlpha
- AndrasKovacs/smallttStars: 611LeanAlpha
- teorth/equational_theoriesStars: 564LeanAlpha
- jinshanmu/CrouzeixConjectureStars: 532LeanAlpha
- anthropics/formal-mathStars: 454LeanAlpha
- ByteDance-Seed/Seed-ProverStars: 442LeanAlpha