SOURCE RECORD · github
Scientific computing in Lean 4
Open canonical source ↗
Research paper status → · Book status →