GitHub repository: normanrink/TensorIR
Primary language: Coq
Created: 2019-02-20T20:00:19Z
Description: Formal development of a type-safe intermediate language for tensor expressions.