Download shapesafe-core_2.13 JAR file with all dependencies
shapesafe-core_2.13 from group ai.acyclic.shapesafe (version 0.1.4)
SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
Artifact shapesafe-core_2.13
Group ai.acyclic.shapesafe
Version 0.1.4
Last update 02. June 2022
Tags: intuitionistic static shape array scala checker type programming case theory prover
Organization not specified
URL https://github.com/tribbloid/shapesafe
License Apache License, Version 2.0
Dependencies amount 1
Dependencies shapesafe-macro_2.13,
There are maybe transitive dependencies!
Group ai.acyclic.shapesafe
Version 0.1.4
Last update 02. June 2022
Tags: intuitionistic static shape array scala checker type programming case theory prover
Organization not specified
URL https://github.com/tribbloid/shapesafe
License Apache License, Version 2.0
Dependencies amount 1
Dependencies shapesafe-macro_2.13,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)