GitHub repository: leanprover/SHerLOC
Primary language: Lean
Created: 2024-08-16T00:31:51Z
Description: A StableHLO analyzer in Lean