lecopivo/SciLean
View on GitHub ↗ ★ 546 Lean
Scientific computing in Lean 4
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2024-07-29 · latest 2025-12-16
20082026
-
…code and then just not prove them because they still have to type check and fit together and make sense. github.com/lecopivo/scilean is a good example (search “sorry_proof”). There’s property testing with “plausible” as a nice 80/20 that…
comment by yuppiemephisto · 2025-12-16 · in AI will make formal verification go mainstream -
…mature) would support the workflow you described (including both analytic and numerical solutions): https://github.com/lecopivo/SciLean To your last point, the idea is that numerical approximations can be introduced (and introduction will…
comment by mccoyb · 2024-07-29 · in LeanDojo: Theorem Proving in Lean Using LLMs