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 CI actions
#1
Closed
jcp19
closed
9 months ago