There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Propositional and quantificational logic solver that proves/refutes logical arguments by contradiction. Inspired by methods taught in NUS GET1028/GEX1014
