Last released Sep 7, 2025
A small propositional logic package that can form arguments and generate truth tables. Aimed to be used a tool to speed up propositional logic studying for students.
Supported by
