korekto 1.6.210407

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)

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:

=