Skip to content

v0.1.0-alpha (build 1)

Pre-release
Pre-release
Compare
Choose a tag to compare
@4g3nt81lly 4g3nt81lly released this 28 Apr 05:45
· 1 commit to main since this release

🩺 This is a prototype release for testing purposes.

Features:

  1. Making truth table for a given propositional logic statement.
  2. Logical equivalency test for multiple propositional logic statements.
  3. Validity test for logical arguments.
  4. Interactive mode for: make-table, check-equivalence, and check-validity.
  5. Exporting to .csv file.
  6. And more subordinate features...

Updates and bug fixes: