Giters

jcp19 / gobra-libs

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

gobra-libs

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

About

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

License:MIT License

Languages

Language:Python 90.2%Language:Shell 9.8%