Loreon
Labs
Platform
Docs
Home
Ecosystems
F*
POPiFStar-book
The book Proof-Oriented Programming in F★
F*
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
2mo ago
Recent commits
Latest commits.
Chap16: Constructive & Classical Connectives
57a4835
Katsujukou Kineya
2mo ago
Chap15: Equality
c90e19e
Katsujukou Kineya
2mo ago
Chapter 13: Length-indexed lists
8092401
Katsujukou Kineya
3mo ago
Section 8: all exercises done
92d900a
Katsujukou Kineya
3mo ago
quick sort
35351a7
Katsujukou Kineya
3mo ago
FStar project setup
ebeb5e6
Katsujukou Kineya
3mo ago
flake
eb7b047
Katsujukou Kineya
3mo ago
:tada: Initial commit
85803e9
Katsujukou Kineya
3mo ago
Top contributors
Builders behind this project.
katsujukou
8 commits
