Last released May 30, 2026
This is a basic library for implementing boolean propositional logic.
Supported by