dafny-lang / libraries

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

Filesystem Externs #5

Open indolering opened 3 years ago

indolering commented 3 years ago

I found this repo through a StackOverflow post, which links to some filesystem externs. The repo has a lot more than that, however, and much of which would be helpful in a standard library.