Gobra: Automated, modular verifier for Go, based on Viper verification (github.com) 3 points by im_dario 3y ago ↗ HN
0 comments
[ 0.88 ms ] story [ 12.7 ms ] threadNo comments yet.