devtool
F*: A general-purpose proof-oriented programming language
F* 在高保证软件验证上表现出色，但学习曲线陡峭，适合专注安全的团队。
6.8综合
实用性7
上手速度4
完成度7
不可替代7
生命力8
5 维独立打分，综合分为加权平均。分数只对同一套标准内部可比。
适合谁
需要形式化验证的安全/加密库、系统软件团队
不适合谁
普通业务应用开发者、追求快速交付的团队
项目自述
fstar-lang.org
替代品
CoqDafnyLeanIsabelle/HOLWhy3