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

Port utils from VerifiedSCION #2

Open jcp19 opened 11 months ago

jcp19 commented 11 months ago

As seen here