issues
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 Gobra on the CI
#3
Closed
jcp19
closed
11 months ago