arthurpaulino / NumLeanLinks

A Lean 4 package for heavy numerical computations
19Updated 3 years ago

Alternatives and similar repositories for NumLean

Users that are interested in NumLean are comparing it to the libraries listed below

Sorting: