RubyGems Navigation menu

korekto 2.0.231231

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

Gemfile:
=

installation:
=

Versions:

  1. 2.0.231231 December 31, 2023 (12,5 ko)
  2. 1.6.210409 April 09, 2021 (10 ko)
  3. 1.6.210407 April 07, 2021 (10 ko)
  4. 1.5.210331 March 31, 2021 (9,5 ko)
  5. 1.5.210328 March 28, 2021 (9,5 ko)
Voir toutes les versions (13)

Dépendances de Runtime (1):

help_parser ~> 8.2, >= 8.2.230210

Dépendances 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
Show all transitive dependencies

Dépendances:

git: 2.30

neovim-ruby-host: 0.9

nvim: 0.9

ruby: 3.3

xdg-open: 1.1

Propriétaires:

Pushed by:

Auteurs:

  • CarlosJHR64

Total de contrôle SHA 256:

=
← Version précédente

Total de téléchargements 20 620

Pour cette version 409

Version publiée:

License:

MIT

Version de Ruby requise: >= 0

Liens:

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