GitHub repository: mattulbrich/dive
Primary language: Java
Description: Dafny Interactive Verification Environment (DIVE)