oakproof 0.7.2

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

Gemfile:
=

instalar:
=

Versiones:

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

Propietarios:

Subida por:

Autores:

Tim Smith

SHA 256 checksum:

=

Total de descargas 714

Para esta versión 472

Versión publicada:
June 22, 2024 7:13am

Licencia:
AGPL-3.0

Versión de Ruby requerida: >= 2.0

Enlace:

Página Código fuente Documentación Descarga Revisar cambios Badge RSS Reportar abusos Dependencias inversas