https://github.com/fornever/fstar-tutorial
My solutions for the F* turorial
https://github.com/fornever/fstar-tutorial
fstar tutorial-exercises
Last synced: 5 months ago
JSON representation
My solutions for the F* turorial
- Host: GitHub
- URL: https://github.com/fornever/fstar-tutorial
- Owner: ForNeVeR
- Created: 2017-02-19T16:06:08.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2022-07-27T19:32:11.000Z (almost 3 years ago)
- Last Synced: 2024-10-08T22:41:24.160Z (9 months ago)
- Topics: fstar, tutorial-exercises
- Language: F*
- Size: 1.95 KB
- Stars: 2
- Watchers: 3
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: Readme.md
Awesome Lists containing this project
README
fstar-tutorial
==============
My solutions for [the F* tutorial][tutorial].
[tutorial]: https://fstar-lang.org/tutorial/