korekto 1.5.210331

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)

顯示所有版本（共 13）

Runtime 相依性套件 (1):

help_parser ~> 7.0, >= 7.0.200907

Show all transitive dependencies

必填:

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+

擁有者:

推送者:

作者:

carlosjhr64

SHA 256 總和檢查碼:

=