No results found

scilean

Scientific computing in Lean 4
#scientific-computing #numerical-methods #symbolic-computation
Sort by
  1. Git dependency.
    Found on Reservoir.

    mathlibf494f96

    The math library of Lean 4