First-Order Logic Theorem Prover

Required Ruby Version

>= 0

Authors

Koki Ryu

Versions

  1. 0.1.1

    1. source

      1. 0.1.1 source August 02, 2019 (92 KB)
  2. 0.1.0

    1. source

      1. 0.1.0 source June 24, 2019 (47.5 KB)

Pushed by

liwii

SHA 256 checksum

← Previous version