search

dafny-lang / libraries

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

Lemma to prove the opposite implication from Seq.LemmaCardinalityOfSetNoDuplicates #20

Open robin-aws opened 3 years ago

robin-aws commented 3 years ago

Closes #18