SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Scala versions:
2.13
0
version found for
artifacts
We can't find any release that matches all you criteria