arthurpaulinoNumLean

A Lean 4 package for heavy numerical computations
#matrix
Displaying 1-1 of 1 versions of NumLean
Sort by
  1. Not a part of any version track.
    ed5e568
    3 years ago
    Released on January 16, 2022 at 1:51:28PM
    Commit ed5e568 builds on its old leanprover/lean4:nightly-2022-01-15
    nightly-2022-01-15