search

dafny-lang / libraries

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

Add LemmaNoDuplicatesCardinalityOfSet #19

Closed gancherj closed 3 years ago

gancherj commented 3 years ago

Lemma to fix #18