F* – A Proof-Oriented Programming Language
L: https://www.fstar-lang.org/
C: https://news.ycombinator.com/item?id=40377685
posted on 2024.05.16 at 08:47:07 (c=0, p=8)
Posting Hacker News(@hkrn@mstdn.social) F* – A Proof-Oriented Programming Language
L: https://www.fstar-lang.org/
C: https://news.ycombinator.com/item?id=40377685
posted on 2024.05.16 at 08:47:07 (c=0, p=8)