3

正如我们所知，我们在 Agda（ Emacs 中的Ctrl+ c Ctrl+ a）以及 Idris 和 Coq 中都有“自动”（证明搜索），但是当我深入研究 F* 的 Emacs 模式时，我没有找到类似的功能.

F*有这个功能吗？如果是这样，我该如何使用它？

4

0 回答 0