korekto 1.1.210313
A general proof checker. Works with neovim(nvim).
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)
- 1.1.210313 - March 13, 2021 (9,5 ko)
Dépendances de Runtime (1):
help_parser
~> 7.0, >= 7.0.200907
Dépendances:
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+