Initial support for `Nat`ural numbers

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

Closed jcp19 closed 1 month ago

jcp19 commented 1 month ago

Currently failing due to a few shortcommings of the termination plugin