Displaying 1-1 of 1 packages depending on leanprover/SHerLOC
Sort by
  1. leanprover/TenCertusescf77ce5

    Verified tensor compilation in Lean