issues
search
viperproject
/
gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
https://gobra.ethz.ch
Other
111
stars
28
forks
source link
more flexible joins from silicon
#761
Closed
jcp19
closed
6 months ago