SciLean: Scientific computing in Lean 4 (via edoput) — discussion

#formalmethods #science