Implement seq to multiset related methods

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

Open dnezam opened 9 months ago

dnezam commented 9 months ago

[ ] Consider all Dafny standard library methods that mention multisets in sequences
[ ] Consider axiomatization in Gobra