GitHub repository: viperproject/gobra-libs
Primary language: Python
Description: Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.