korekto 1.4.210318
A general proof checker. Works with neovim(nvim).
Gemfile:
=
Copiar al portapapeles
¡Copiado!
instalar:
=
Versiones:
- 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)
- 1.4.210318 - March 18, 2021 (9,5 KB)
dependencias de Runtime (1):
help_parser
~> 7.0, >= 7.0.200907
Requerimientos:
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+