korekto 2.0.231231
A general proof checker. Works with [neovim](https://github.com/neovim/neovim).
Gemfile:
=
Copier
Copié!
installation:
=
Versions:
- 2.0.231231 - December 31, 2023 (12,5 ko)
- 1.6.210409 - April 09, 2021 (10 ko)
- 1.6.210407 - April 07, 2021 (10 ko)
- 1.5.210331 - March 31, 2021 (9,5 ko)
- 1.5.210328 - March 28, 2021 (9,5 ko)
Dépendances de Runtime (1):
help_parser
~> 8.2, >= 8.2.230210
Dépendances de Development (5):
Dépendances:
git: 2.30
neovim-ruby-host: 0.9
nvim: 0.9
ruby: 3.3
xdg-open: 1.1