search

viperproject / gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
MIT License
2 stars 1 forks source link

Add dicts and gomap packages #13

Closed dnezam closed 6 months ago

jcp19 commented 6 months ago

As discussed in the meeting, I will look at the PR again when the changes to the theorems about Go maps are adapted.