SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

Latest version

[![shapesafe-core Scala version support](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core/latest.svg](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core)

JVM badge

[![shapesafe-core Scala version support](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core/latest-by-scala-version.svg?platform=jvm](https://index.scala-lang.org/tribbloid/shapesafe/shapesafe-core)