korekto 1.0.210306

A general proof checker. Works with neovim(nvim).

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)
1.0.210306 March 06, 2021 (9,5 KB)

Mostrar todas las versiones (13 total)

dependencias de Runtime (1):

help_parser ~> 7.0, >= 7.0.200907

Mostrar toda la cadena de dependencias

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+

Propietarios:

Subida por:

Autores:

carlosjhr64

SHA 256 checksum:

=

Total de descargas 22.788

Para esta versión 1.923

Versión publicada:
March 6, 2021 4:49pm

Licencia:
MIT

Versión de Ruby requerida: >= 0

Enlace:

Página Documentación Descarga Revisar cambios Badge RSS Analytics Reportar abusos Dependencias inversas