oakproof 0.7.1

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 總和檢查碼:

=