search

dafny-lang / libraries

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

Request: LemmaUniqueMaximum as analagous to LemmaUniqueMinimum #114

Closed ymherklotz closed 1 year ago

ymherklotz commented 1 year ago

It would be nice to have LemmaUniqueMaximum, which should be analagous to LemmaUniqueMinimum in Sets.dfy.