F *是否有证明搜索功能?

时间:2018-08-10 01:08:37

标签: fstar fstar-mode

我们知道,我们在阿格达( Ctrl + c Ctrl + a < / kbd>,以及Idris和Coq,但是当我进入F *的Emacs模式时,我找不到相似的功能。

F *是否具有此功能?如果可以,该如何使用?

0 个答案:

没有答案