tribbloid/shapesafe

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

语言：Scala · GitHub 星标：34 · Fork：4

话题：linear-algebra · machine-learning · program-verification · scala · shape-safety · type-theory

在 GitHub 上查看原仓库