SHerLOC
A StableHLO analyzer in Lean
of 2 packages depending on leanprover/SHerLOC
1-2Sort by
Package Name
leanprover/KLRuses
c74ae09
A formalization of ML kernel languagesleanprover/TenCertuses
cf77ce5
Verified tensor compilation in Lean