科技新闻F*: A general-purpose proof-oriented programming language2026年8月2日2 次浏览来源：Hacker News阅读原文Article URL: https://fstar-lang.org/ Comments URL: https://news.ycombinator.com/item?id=49143925 Points: 99 # Comments: 32分享复制链接