korekto 2.0.231231

A general proof checker. Works with [neovim](https://github.com/neovim/neovim).

Gemfile:
=

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)

Mostrar todas las versiones (13 total)

dependencias de Runtime (1):

help_parser ~> 8.2, >= 8.2.230210

dependencias de Development (5):

colorize ~> 1.1, >= 1.1.0

cucumber ~> 9.1, >= 9.1.0

parser ~> 3.2, >= 3.2.2

rubocop ~> 1.59, >= 1.59.0

test-unit ~> 3.6, >= 3.6.1

Mostrar toda la cadena de dependencias

Requerimientos:

git: 2.30

neovim-ruby-host: 0.9

nvim: 0.9

ruby: 3.3

xdg-open: 1.1

Propietarios:

Subida por:

Autores:

CarlosJHR64

SHA 256 checksum:

=