GitHub repository: lecopivo/SciLean
Primary language: Lean
Description: Scientific computing in Lean 4