korekto 1.3.210316

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)
1.3.210316 March 16, 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.0p0 (2020-12-25 revision 95aff21468) [x86_64-linux]

nvim: NVIM v0.4.4

xdg-open: xdg-open 1.1.3+

Propriétaires:

Pushed by:

Auteurs:

carlosjhr64

Total de contrôle SHA 256:

=