from Hacker News

Gobra: Automated, modular verifier for Go, based on Viper verification

by im_dario on 10/13/22, 7:07 PM with 0 comments