Reservoir
No results found
All Packages
TenCert
Verified tensor compilation in Lean
Readme
Versions (1)
Dependencies (3)
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
SHerLOC
cf77ce5
A StableHLO analyzer in Lean
Git dependency.
Found on Reservoir.
NKL
cfe38f6
A formalization of the NKI ISA
Git dependency.
Found on Reservoir.
TensorLib
d1d3854
A verified tensor library in Lean
1
20