korekto 1.0.210310
A general proof checker. Works with neovim(nvim).
Gemfile:
=
复制到剪贴板
已复制!
安装:
=
版本列表:
- 2.0.231231 - December 31, 2023 (12.5 KB)
- 1.6.210409 - April 09, 2021 (10.0 KB)
- 1.6.210407 - April 07, 2021 (10.0 KB)
- 1.5.210331 - March 31, 2021 (9.5 KB)
- 1.5.210328 - March 28, 2021 (9.5 KB)
- 1.0.210310 - March 10, 2021 (9.5 KB)
Runtime 依赖 (1):
help_parser
~> 7.0, >= 7.0.200907
要求:
ruby: ruby 3.0.0p0 (2020-12-25 revision 95aff21468) [x86_64-linux]
nvim: NVIM v0.4.4
xdg-open: xdg-open 1.1.3+