search

dafny-lang / libraries

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

Option, Result, and update Readme #1

Closed samuelgruetter closed 5 years ago

samuelgruetter commented 5 years ago

Let's get started with the standard library!

RustanLeino commented 5 years ago

Exemplary!