login sign up

F*: A Proof-Oriented Programming Language

fstar-lang.org
saved by
1 person
related read on
Implement With Types, Not Your Brain! from the discussion
discussions · 1
F*: A proof oriented general purpose programming language 254 pts · 61 comments · Dec 2024 254 pts · 61 comments · Dec 2024
0 people saved or upvoted this