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

    A formalization of ML kernel languages
  2. leanprover/TenCertusescf77ce5

    Verified tensor compilation in Lean