leanproverKLR

A formalization of ML kernel languages
Displaying 1-1 of 1 packages depending on leanprover/KLR
Sort by

  1. leanprover/TenCertusesd9d8e76

    Verified tensor compilation in Lean