← All repos

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