/gobra-libs

Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.

Primary LanguagePythonMIT LicenseMIT

Watchers

No one’s watching this repository yet.