☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (14)
Dependencies (9)
Dependents (1)
leanblas
Bindings and specification for BLAS
Displaying
1-1
of
1
packages depending on
lecopivo/leanblas
Sort by
Package Name
lecopivo/scilean
uses
v4.20.1
Scientific computing in Lean 4
1
20