Download all versions of jtet JAR files with all dependencies
jtet from group ca.mcscert.jtet (version 1.0)
Library to handle Tabular Expressions, including a generic in memory representation, proof checkers, and code generators.
Artifact jtet
Group ca.mcscert.jtet
Version 1.0
Last update 05. February 2015
Tags: generic generators tabular handle including representation checkers library proof code memory expressions
Organization not specified
URL https://groke.cas.mcmaster.ca/gitlab/tables/jtet
License BSD
Dependencies amount 2
Dependencies antlr4-runtime, commons-lang3,
There are maybe transitive dependencies!
Group ca.mcscert.jtet
Version 1.0
Last update 05. February 2015
Tags: generic generators tabular handle including representation checkers library proof code memory expressions
Organization not specified
URL https://groke.cas.mcmaster.ca/gitlab/tables/jtet
License BSD
Dependencies amount 2
Dependencies antlr4-runtime, commons-lang3,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)