Kl vs dev - Githubissues

mattulbrich / dive

Dafny Interactive Verification Environment (DIVE)

GNU General Public License v3.0

4 stars 0 forks source link

Closed JonasKlamroth closed 3 years ago

JonasKlamroth commented 3 years ago

Rules applicable and fixing the insert cases bug + some refactoring