chadprover, branch master Software for automated proofs. https://git.rabiega.xyz/chadprover/atom?h=master 2024-08-16T12:11:00+00:00 added api 2024-08-16T12:11:00+00:00 filip “filip.rabiega@gmail.com” 2024-08-16T12:11:00+00:00 urn:sha1:69de932f9116b30adfd689d38e35ace63aef0e2d added a functional parser 2025-04-22T16:59:19+00:00 filip “filip.rabiega@gmail.com” 2025-04-22T16:38:38+00:00 urn:sha1:2e893fd0df7dae8c4ae843d4a23acb098dd97aff set up dream 2025-04-22T15:38:11+00:00 filip “filip.rabiega@gmail.com” 2025-04-22T15:38:11+00:00 urn:sha1:af76b11278204c25428c4f95ef51d4aa8f2a1e0e did a bunch of stuff 2025-04-22T15:32:02+00:00 filip “filip.rabiega@gmail.com” 2025-04-22T15:32:02+00:00 urn:sha1:870e1cc1ea14fe43ae50e47828ac760e760ad93a 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 initial commit 2025-04-22T14:56:14+00:00 filip “filip.rabiega@gmail.com” 2025-04-22T14:56:14+00:00 urn:sha1:63e5c1856e10265e368117211d2a50c389ef02a8