Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects. - View it on GitHub