F *：有效程序的验证系统 F *网站 有关F *的更多信息，请访问 安装 参见 教程 提供了中经过验证的编程的初步体验，并通过示例进行了解释。 维基 包含有关其他（通常是更深入的）技术文档。 编辑F *代码 您可以使用自己喜欢的文本编辑器编辑F *代码，但是Emacs，Visual Studio Code，Atom和Vim的扩展添加了对F *的特殊支持，例如语法突出显示，代码完成，快速导航，类型提示和交互式发展。 上有关更多详细信息。 您也可以使用的器直接在浏览器中编辑简单示例。 提取并执行