Robin Salkeld
salkeldr
Joined on May 10, 2023
org.dafny.dafny
This plugin offers tight integration of the Dafny verification-aware programming language with Java: automatically verifying Dafny source code and compiling it to Java source code, which the Java plugin will then build together with any hand-written Java in the project. It also provides a robust approach to distributing and managing Dafny dependencies through Gradle-supported repositories such as Maven Central.
Robin Salkeld is not a member of any organizations.