korekto 1.6.210407

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

显示所有传递性依赖

要求:

ruby: ruby 3.0.1p64 (2021-04-05 revision 0fb782ee38) [x86_64-linux]

nvim: NVIM v0.4.4

neovim-ruby-host: 0.8.1

xdg-open: xdg-open 1.1.3+

所有者:

推送者:

作者:

carlosjhr64

SHA 256 校验和:

=