Project Information

Field Value
Name CZT Typechecker Z/EVES
Description Provides classes for typechecking Z/EVES proofs.
Homepage http://czt.sourceforge.net/typechecker/typechecker-zeves

Project Organization

Field Value
Name Community Z Tools Project
URL http://czt.sourceforge.net

Build Information

Field Value
GroupId net.sourceforge.czt
ArtifactId typechecker-zeves
Version 1.6-SNAPSHOT
Type jar
Java Version 1.8

Back to top

Version: 1.6-SNAPSHOT. Last Published: 2016-04-09.

Reflow Maven skin by Andrius Velykis.