GitHub repository: semorrison/SciLean
Description: Scientific computing in Lean 4