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