korekto 1.0.210306
A general proof checker. Works with neovim(nvim).
Gemfile:
=
クリップボードにコピー
コピー完了!
インストール:
=
バージョン履歴:
- 2.0.231231 - December 31, 2023 (12.5KB)
- 1.6.210409 - April 09, 2021 (10KB)
- 1.6.210407 - April 07, 2021 (10KB)
- 1.5.210331 - March 31, 2021 (9.5KB)
- 1.5.210328 - March 28, 2021 (9.5KB)
- 1.0.210306 - March 06, 2021 (9.5KB)
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+