Topic
#Fstar
1 article on Fstar — news, releases, guides and analysis from the SourceFeed engine.
Article
F* Is the Verified Code Already Hiding in Your Stack
The proof-oriented language never went mainstream, but its extracted C runs in Firefox, Python, Windows, and the Linux kernel.
Rachel Goldstein