korekto 1.6.210407

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

Gemfile:
=

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)

Voir toutes les versions (13)

Dépendances de Runtime (1):

help_parser ~> 7.0, >= 7.0.200907

Show all transitive dependencies

Dépendances:

ruby: ruby 3.0.1p64 (2021-04-05 revision 0fb782ee38) [x86_64-linux]

nvim: NVIM v0.4.4

neovim-ruby-host: 0.8.1

xdg-open: xdg-open 1.1.3+

Propriétaires:

Pushed by:

Auteurs:

carlosjhr64

Total de contrôle SHA 256:

=

Total de téléchargements 20 691

Pour cette version 1 760

Version publiée:
April 7, 2021 4:28pm

License:
MIT

Version de Ruby requise: >= 0

Liens:

Page d'accueil Documentation Télécharger Review changes Badge RSS Signaler un abus Reverse dependencies