Gobra: Automated, modular verifier for Go, based on Viper verificationgithub.com3 points·im_dario··0 commentsOpen articleSaveView on HN