chadprover/src, branch master Software for automated proofs. https://git.rabiega.xyz/chadprover/atom?h=master 2025-04-22T15:02:54+00:00 added nnf and cleaned up some utils 2025-04-22T15:02:54+00:00 filip “filip.rabiega@gmail.com” 2025-04-22T15:02:54+00:00 urn:sha1:2ad36ac2079cc9be06d080d63204bc194375cf02 added data types 2025-04-22T14:59:28+00:00 filip “filip.rabiega@gmail.com” 2025-04-22T14:59:28+00:00 urn:sha1:ac8283b32d20071b014bfc33db0e9a69392af800