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