Reservoir
No results found
All Packages
TenCert
Verified tensor compilation in Lean
Readme
Versions (1)
Dependencies (13)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
TensorLib
v0.0.10
A verified tensor library in Lean
Git dependency.
Found on Reservoir.
KLR
d9d8e76
A formalization of ML kernel languages
Git dependency.
Found on Reservoir.
SHerLOC
cf77ce5
A StableHLO analyzer in Lean
1
20