dlesbre/vscode-generic-input-method
Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
TypeScriptBSD-3-Clause
No issues in this repository yet.
Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
TypeScriptBSD-3-Clause
No issues in this repository yet.