A simple and intuitive tool to solve mathematical logic problems with ease and precision.

Team Name: DeepSleep

• Supports key operations in mathematical logic.
• Supports user-added axioms.
• Lightweight and easy to set up.

To install and run the solver locally:

git clone [https://github.com/lvlvbenlv/LogicResolver.git]
cd LogicResolver
python main.py