RubyGems Navigation menu

oakproof 0.7.2

A proof checker focused on simplicity, readability, and ease of use.

Gemfile:
=

インストール:
=

バージョン履歴:

  1. 0.7.2 June 22, 2024 (2.35MB)
  2. 0.7.1 June 22, 2024 (2.35MB)

所有者:

プッシュ者:

作者:

  • Tim Smith

SHA 256チェックサム:

=
←前のバージョン

累計ダウンロード数 518

このバージョンのみ 323

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

ライセンス:

AGPL-3.0

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

リンク:

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