Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Gobra: Automated, modular verifier for Go, based on Viper verification
github.com/viperproject
3 points
im_dario
4 years ago
No comment yet
Gobra: Automated, modular verifier for Go, based on Viper verification | Heykuki News