Whiley Theorem Prover (WyTP) wytp

Group	org.whiley
描述	This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.
Packaging	jar
Size	365.30 KB
文件	pom jar
网址	http://whiley.org
发布时间	2020-10-08 11:09

dependencies

Group	Artifact	Version
org.whiley	wycc	[0.8.0,0.9.0)
org.whiley	wycli	[0.8.0,0.9.0)
ant	ant	1.7.0
junit	junit	4.12

developers

redjamjar

David J. Pearce

licenses

Apache License, Version 2.0

https://www.apache.org/licenses/LICENSE-2.0.txt