jTET

Library to handle Tabular Expressions, including a generic in memory representation, proof checkers, and code generators.

Homepage POM file JAR file Javadoc

'ca.mcscert.jtet:jtet:1.0'

<dependency>
	<groupId>ca.mcscert.jtet</groupId>
	<artifactId>jtet</artifactId>
	<version>1.0</version>
</dependency>

<dependency org="ca.mcscert.jtet" name="jtet" rev="1.0"/>

"ca.mcscert.jtet", "jtet", "1.0"

Dependencies