F*: A general-purpose proof-oriented programming language

> F*：一门通用证明导向编程语言

HN 114 分 · 38 条评论 · 作者 ducktective · 来源 fstar-lang.org · HN 讨论

> HN 114 分 · 38 条评论 · 作者 ducktective · 来源 fstar-lang.org · HN 讨论

F* is a general-purpose, proof-oriented programming language that supports both purely functional and effectful programming, combining dependent types with SMT-based proof automation and tactic-based interactive theorem proving.

⋯ 继续阅读请开通会员 ⋯