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

Required Ruby Version

>= 2.0

Authors

Tim Smith

Versions

  1. 0.8

    1. source

      1. 0.8 source March 04, 2026 (2.35 MB)
  2. 0.7.2

    1. source

      1. 0.7.2 source June 22, 2024 (2.35 MB)
  3. 0.7.1

    1. source

      1. 0.7.1 source June 22, 2024 (2.35 MB)

Pushed by

tsmith

SHA 256 checksum

← Previous version