Verified tensor compilation in Lean - View it on GitHub