← Explore by area

Cluster 633732

1 repo

Lean · 1

lean4 ·528

numerical-methods ·528

scientific-computing ·528

symbolic-computation ·528

Related clusters

Climate modeling and atmospheric physics in Julia13 Cluster 6336344 V Language GUI and Text Editors11 Cluster 6336915 Cluster 6355697 Lean 4 theorem proving ecosystem11

lecopivo/SciLean

Scientific computing in Lean 4

Lean

528

2,153 commits

Cluster 633732 — Shadowgraph