https://github.com/jaybosamiya/lowstar-dlist-trials
[WIP] Writing low* code to implement dlists
https://github.com/jaybosamiya/lowstar-dlist-trials
fstar wip
Last synced: about 1 year ago
JSON representation
[WIP] Writing low* code to implement dlists
- Host: GitHub
- URL: https://github.com/jaybosamiya/lowstar-dlist-trials
- Owner: jaybosamiya
- License: apache-2.0
- Archived: true
- Created: 2018-02-12T22:23:18.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2019-08-06T00:24:48.000Z (almost 7 years ago)
- Last Synced: 2025-02-13T05:44:48.940Z (over 1 year ago)
- Topics: fstar, wip
- Language: F*
- Homepage:
- Size: 570 KB
- Stars: 2
- Watchers: 3
- Forks: 2
- Open Issues: 0