Reservoir
No results found
All Packages
KLR
A formalization of ML kernel languages
Readme
Versions (4)
Dependencies (11)
Dependents (1)
Transitive
Include transitive dependencies
Sort by
Require Order
Local path dependency.
Not found on Reservoir.
Util
0.0.0
Git dependency.
Found on Reservoir.
TensorLib
v0.0.10
A verified tensor library in Lean
Git dependency.
Found on Reservoir.
plausible
v4.19.0
Local path dependency.
Not found on Reservoir.
NRT
0.0.0
Local path dependency.
Not found on Reservoir.
Gzip
0.0.0
Git dependency.
Found on Reservoir.
Cli
v4.19.0
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Local path dependency.
Not found on Reservoir.
Archive
0.0.0
1
20