ai.acyclic.shapesafe:shapesafe-macro_2.13 (maven): SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Keywords: linear-algebra|machine-learning|program-verification|scala|shape-safety|type-theory