oakproof 0.7.2

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

Gemfile:
=

Installeer:
=

Versies:

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

Eigenaren:

Pushed by:

Authors:

Tim Smith

SHA 256 checksum:

=