Scientific computing in Lean 4
Home Page:https://lecopivo.github.io/SciLean/build/doc/SciLean.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool