A verified StableHLO in Lean - View it on GitHub