issues
search
viperproject
/
gobra-libs
Standard library for the Gobra verifier for Go. Contains definitions and lemmas useful for verifying large projects.
MIT License
2
stars
1
forks
source link
Ignore *.smt2 files
#5
Closed
dnezam
closed
11 months ago