RubyGems Navigation menu

korekto 2.0.231231

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

Gemfile:
=

インストール:
=

バージョン履歴:

  1. 2.0.231231 December 31, 2023 (12.5KB)
  2. 1.6.210409 April 09, 2021 (10KB)
  3. 1.6.210407 April 07, 2021 (10KB)
  4. 1.5.210331 March 31, 2021 (9.5KB)
  5. 1.5.210328 March 28, 2021 (9.5KB)
全てのバージョンを表示（全13件）

Runtime依存関係 (1):

help_parser ~> 8.2, >= 8.2.230210

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
全ての推移的な依存関係を表示

必須要件:

git: 2.30

neovim-ruby-host: 0.9

nvim: 0.9

ruby: 3.3

xdg-open: 1.1

所有者:

プッシュ者:

作者:

  • CarlosJHR64

SHA 256チェックサム:

=
←前のバージョン
Star

累計ダウンロード数 20,607

このバージョンのみ 408

このバージョンがリリースされたのは:

ライセンス:

MIT

必要なRubyのバージョン: >= 0

リンク:

ホームページ ドキュメント ダウンロード 差分をレビュー バッジ 購読 RSS 悪用報告 被依存関係