GitHub repository: leanprover/TenCert
Primary language: Lean
Created: 2024-09-20T12:52:59Z
Description: Verified tensor compilation in Lean