korekto 2.0.231231
A general proof checker. Works with [neovim](https://github.com/neovim/neovim).
Gemfile:
=
Copy to clipboard
Copied!
install:
=
Versions:
- 2.0.231231 - December 31, 2023 (12.5 KB)
- 1.6.210409 - April 09, 2021 (10 KB)
- 1.6.210407 - April 07, 2021 (10 KB)
- 1.5.210331 - March 31, 2021 (9.5 KB)
- 1.5.210328 - March 28, 2021 (9.5 KB)
Runtime Dependencies (1):
help_parser
~> 8.2, >= 8.2.230210
Development Dependencies (5):
Requirements:
git: 2.30
neovim-ruby-host: 0.9
nvim: 0.9
ruby: 3.3
xdg-open: 1.1