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 總和檢查碼:

3e820547c372047b51b06b5348ebff07269134faf1802fd95a6c1e9099777c44