代码之家  ›  专栏  ›  技术社区  ›  ice1000

F*有证据搜索功能吗?

fstar-mode fstar
  •  2
  • ice1000  · 技术社区  · 8 年前

    Ctrl键 + Ctrl键 一 在Emacs)以及Idris和Coq中,但是当我深入研究F*的Emacs模式时,我没有找到类似的功能。

    F*有这个功能吗?如果是,我该怎么用?

    0 回复  |  直到 8 年前
    推荐文章
    关于   移动版
    代码之家 - 一站式码农服务社区
    沪ICP备11025650号