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

Improve the Readme... #15

Closed jcp19 closed 4 months ago

jcp19 commented 5 months ago

and add a CONTRIBUTING.md file