F*: A general-purpose proof-oriented programming language
1 min read
Article URL: https://fstar-lang.org/
Comments URL: https://news.ycombinator.com/item?id=49143925
Points: 4
# Comments: 1
1 min read
Article URL: https://fstar-lang.org/
Comments URL: https://news.ycombinator.com/item?id=49143925
Points: 4
# Comments: 1