标签： fstar fstar-mode
我们知道，我们在阿格达（ Ctrl + c Ctrl + a < / kbd>，以及Idris和Coq，但是当我进入F *的Emacs模式时，我找不到相似的功能。
F *是否具有此功能？如果可以，该如何使用？