Project Summary
Project Information
Field | Value |
---|---|
Name | CZT Z/EVES jEdit Plugin |
Description | jEdit Plugin that that embeds the Z/EVES theorem prover command line in a console window |
Homepage | http://czt.sourceforge.net/jedit/ZEvesPlugin |
Tools for developing and reasoning about Z specifications
Field | Value |
---|---|
Name | CZT Z/EVES jEdit Plugin |
Description | jEdit Plugin that that embeds the Z/EVES theorem prover command line in a console window |
Homepage | http://czt.sourceforge.net/jedit/ZEvesPlugin |