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