2
Comments
  • 1
    The name ATL (“A Tensor Language”) is confusing. There’s already another ATL (“Atlas Transformation Language”)
  • 2
    Can't wait to see the power of the Coq.
Add Comment