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 | 400.25 KB |
| 文件 | pom jar |
| 网址 | http://whiley.org |
| 发布时间 | 2017-07-16 19:20 |
dependencies
| Group | Artifact | Version |
|---|---|---|
| org.whiley | wycc | 0.5.6 |
| ant | ant | 1.7.0 |
| junit | junit | 4.12 |
developers
| redjamjar | David J. Pearce |
licenses
| BSD 3-Clause License |
索引仓库
| 仓库 | 个数 |
| Central | 592045 |