chadprover/test/dune, 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 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