Proof checker for arguments in Aristotle's term logic

Required Ruby Version

>= 2.6.0

Authors

Jayson Virissimo

Versions

  1. 0.3.0

    1. source

      1. 0.3.0 source January 20, 2024 (10.5 KB)
  2. 0.2.2

    1. source

      1. 0.2.2 source November 22, 2022 (10.5 KB)
  3. 0.2.1

    1. source

      1. 0.2.1 source June 02, 2021 (10.5 KB)
  4. 0.2.0

    1. source

      1. 0.2.0 source June 02, 2021 (10.5 KB)
  5. 0.1.0

    1. source

      1. 0.1.0 source May 26, 2021 (10.5 KB)

Pushed by

virissimo

SHA 256 checksum

← Previous version