![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| minimal.dfy | 2019-08-27 10:44 | 95 | |
| max-interface.dfy | 2019-08-27 10:44 | 120 | |
| seqs-1.dfy | 2019-08-27 10:44 | 164 | |
| minimal-1.dfy | 2019-08-27 10:44 | 216 | |
| find.dfy | 2019-08-27 10:44 | 247 | |
| max-contract.dfy | 2019-08-27 10:44 | 249 | |
| minimal-3.dfy | 2019-08-27 10:44 | 270 | |
| minimal-2.dfy | 2019-08-27 10:44 | 285 | |
| arraysum.dfy | 2019-08-27 10:44 | 296 | |
| seqs-2.dfy | 2019-08-27 10:44 | 316 | |
| find-1.dfy | 2019-08-27 10:44 | 322 | |
| arraysum-spec.dfy | 2019-08-27 10:44 | 368 | |
| binsearch.dfy | 2019-08-27 10:44 | 425 | |
| find-2.dfy | 2019-08-27 10:44 | 434 | |
| arraysum-spec2.dfy | 2019-08-27 10:44 | 464 | |
| binsearch-spec.dfy | 2019-08-27 10:44 | 554 | |
| find-3.dfy | 2019-08-27 10:44 | 558 | |
| binsearch-spec2.dfy | 2019-08-27 10:44 | 564 | |
| max-implementation.dfy | 2019-08-27 10:44 | 612 | |
| fib.dfy | 2019-08-27 10:44 | 616 | |
| binsearch-spec3.dfy | 2019-08-27 10:44 | 645 | |
| fib-spec.dfy | 2019-08-27 10:44 | 723 | |
| abstractCounter-0.dfy | 2019-08-27 10:44 | 769 | |
| sets.dfy | 2019-08-27 10:44 | 1.0K | |
| seqs.dfy | 2019-08-27 10:44 | 1.4K | |
| abstractQueue.dfy | 2019-08-27 10:44 | 1.6K | |
| abstractCounter.dfy | 2019-08-27 10:44 | 1.6K | |
| abstractQueue-mem.dfy | 2019-08-27 10:44 | 1.8K | |
| scratch.dfy | 2019-08-27 10:44 | 2.9K | |
| lemmas.dfy | 2019-12-03 10:28 | 3.2K | |
| abstractQueue2.dfy | 2019-08-27 10:44 | 3.5K | |
| dafnyref.pdf | 2019-08-27 10:44 | 564K | |