Reservoir
No results found
All Packages
SHerLOC
A verified StableHLO in Lean
Readme
Versions (1)
Displaying
1-1
of
1
versions of
SHerLOC
Sort by
Date
Not a part of any version track.
940d59d
5 days ago
Released on September 13, 2024 at 8:17:50PM
Commit 940d59d builds on its old leanprover/lean4:v4.10.0
v4.10.0
4.5 MB
Build archive size: 4509320 bytes.
1
20