korekto 2.0.231231

A general proof checker. Works with [neovim](https://github.com/neovim/neovim).

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)

顯示所有版本（共 13）

Runtime 相依性套件 (1):

help_parser ~> 8.2, >= 8.2.230210

Development 相依性套件 (5):

colorize ~> 1.1, >= 1.1.0

cucumber ~> 9.1, >= 9.1.0

parser ~> 3.2, >= 3.2.2

rubocop ~> 1.59, >= 1.59.0

test-unit ~> 3.6, >= 3.6.1

Show all transitive dependencies

必填:

git: 2.30

neovim-ruby-host: 0.9

nvim: 0.9

ruby: 3.3

xdg-open: 1.1

擁有者:

推送者:

作者:

CarlosJHR64

SHA 256 總和檢查碼:

=