search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

feat: Multiset lemmas #28

Open seebees opened 2 years ago

seebees commented 2 years ago

A few lemmas with multisets that are useful.

RustanLeino commented 10 months ago

It seems the only thing stopping an acceptance here is the formatting. For the code that goes into these libraries, we should follow the Dafny style guides.