Geeks
leanprover
/
SHerLOC
A StableHLO analyzer in Lean
Primary Language
Lean
Apache License 2.0
Apache-2.0
SHerLOC GitHub
Markdown
Readme
1
Issue
15
Stargazers
7
Watchers
Stargazers
alok
Berkeley, CA
bollu
University of Cambridge
BrunoDutertre
@awslabs Amazon
ConnorBaker
@tweag
femtomc
@probcomp
GleasonK
@google
hargoniX
Lean FRO
James-Oswald
@RAIRLab
JeffCarpenter
Canada
jtristan
Amazon
pennyannn
samuela
NYC
sdasgup3
Google Inc.
seanmcl
yishaigalatzer
Amazon