oakproof 0.8

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

Gemfile:
=

installieren:
=

Versionen:

0.8 March 04, 2026 (2,35 MB)
0.7.2 June 22, 2024 (2,35 MB)
0.7.1 June 22, 2024 (2,35 MB)

Besitzer:

Pushed by:

Autoren:

Tim Smith

SHA 256-Prüfsumme:

=

Downloads insgesamt 1.541

Für diese Version 135

Version veröffentlicht:
March 4, 2026 2:54am

Lizenz:
AGPL-3.0

Erforderliche Ruby-Version: >= 2.0

Links:

Homepage Quellcode Dokumentation Download Review changes Abzeichen RSS Analytics Missbrauch melden Reverse dependencies