DafnyRuntime DafnyRuntime 
| Group | org.dafny |
| 描述 | Runtime for Dafny programs compiled to Java |
| Packaging | |
| Size | |
| 文件 | pom jar |
| 网址 | https://github.com/dafny-lang/dafny |
| 发布时间 | 2023-07-21 03:32 |
dependencies
| Group | Artifact | Version |
|---|
developers
| The Dafny core team |
licenses
| MIT License | https://spdx.org/licenses/MIT.html |
索引仓库
| 仓库 | 个数 |
| Central | 592045 |