/TensorIR

Formal development of a type-safe intermediate language for tensor expressions.

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.