Generic Input Method

A generic input method which is suitable for YaTeX-like image completion for LaTeX or Unicode Symbol input for theorem provers such as Lean or Agda.

推荐

不推荐

更多信息

code --install-extension mr-konn.generic-input-method

标签

根据用户添加的标签生成

暂无标签