DafnyRuntime DafnyRuntime

Group	org.dafny
描述	Runtime for Dafny programs compiled to Java
Packaging
Size
文件	pom jar
网址	https://github.com/dafny-lang/dafny
发布时间	2023-02-07 09:37

dependencies

Group	Artifact	Version
org.junit.jupiter	junit-jupiter-engine	5.5.2

developers

The Dafny core team

licenses

MIT License

https://spdx.org/licenses/MIT.html