No results found

TenCert

Verified tensor compilation in Lean
Displaying 1-1 of 1 versions of TenCert
Sort by
  1. Not a part of any version track.
    6c53481
    2 months ago
    Released on October 29, 2024 at 3:34:16PM
    Commit 6c53481 builds on its old leanprover/lean4:v4.13.0-rc4
    v4.13.0-rc4
    28.0 MB Build archive size: 27984351 bytes.