https://github.com/yurrriq/learning-fstar

Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)
https://github.com/yurrriq/learning-fstar

exercises fstar learning-by-doing literate-programming nix sphinx theorem-proving tutorial

Last synced: 4 months ago
JSON representation

Working through the F* tutorial (https://www.fstar-lang.org/tutorial/)

• Host: GitHub
• URL: https://github.com/yurrriq/learning-fstar
• Owner: yurrriq
• Created: 2018-08-01T06:55:59.000Z (over 6 years ago)
• Default Branch: develop
• Last Pushed: 2018-08-22T05:53:13.000Z (over 6 years ago)
• Last Synced: 2023-03-29T04:48:29.223Z (almost 2 years ago)
• Topics: exercises, fstar, learning-by-doing, literate-programming, nix, sphinx, theorem-proving, tutorial
• Language: Nix
• Homepage: https://yurrriq.github.io/learning-fstar
• Size: 195 KB
• Stars: 5
• Watchers: 1
• Forks: 0
• Open Issues: 1

Awesome Lists containing this project