Group: Dafny
2.DafnyRuntime4 usages
org.dafny » DafnyRuntime MIT
Runtime for Dafny programs compiled to Java
Last Release on Aug 29, 2025
3.Dafny Gradle Plugin1 usages
org.dafny » dafny-gradle-plugin
Dafny Gradle Plugin
Last Release on Jan 10, 2025
