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