oakproof 0.7.2

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

Gemfile:
=

installation:
=

Versions:

0.7.2 June 22, 2024 (2,35 Mo)
0.7.1 June 22, 2024 (2,35 Mo)

Propriétaires:

Pushed by:

Auteurs:

Tim Smith

Total de contrôle SHA 256:

=

Total de téléchargements 714

Pour cette version 472

Version publiée:
June 22, 2024 7:13am

License:
AGPL-3.0

Version de Ruby requise: >= 2.0

Liens:

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