oakproof 0.7.2

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

Gemfile:
=

安装:
=

版本列表:

0.7.2 June 22, 2024 (2.3 MB)
0.7.1 June 22, 2024 (2.3 MB)

所有者:

推送者:

作者:

Tim Smith

SHA 256 校验和:

=