GitHub repository: tribbloid/shapesafe
Primary language: Scala
Created: 2019-12-28T19:28:51Z
Description: ∀ Linear Algebra ∃ Proof System between Types