Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
F* – Microsoft's programming language with a superset of features over F#
(github.com/FStarLang)
10 points
philonoist
4 years ago
1 comment
2.
▲
Show HN: FuturLang – Natural language formal verification
1 point
wapiou
4 months ago
1 comment