rcc-project/proofsearch/include/atp/infer/resolution.h, branch masterA collection of projects, including a C compiler, binutils, a memory allocator, an automated theorem prover, and a web browser.
https://git.richardqin.org/rcc-project/atom?h=master2026-04-03T21:21:26Zstyle: reformat codebase with consistent indentation2026-04-03T21:21:26ZRichard Qinrichard.qin.x@gmail.com2026-04-03T21:21:26Zurn:sha1:593a94a3c13aff82b31fd6c61e0ae07b97a2e426feat: implement saturation-based resolution loop in Prover class2026-04-03T20:52:36ZRichard Qinrichard.qin.x@gmail.com2026-04-03T20:52:36Zurn:sha1:dbd35e0081c600822a2069fd7b393e085b0c00c9feat: implement variable renaming and update resolution logic to prevent variable collisions2026-04-03T18:33:26ZRichard Qinrichard.qin.x@gmail.com2026-04-03T18:33:26Zurn:sha1:c7cf051e764b43e6455fa6cceaf1dbf7f6cb841bInitial commit: Build project architecture, define interfaces, write documentation, with the help of Claude2026-04-01T20:10:53ZRichard Qinrichard.qin.x@gmail.com2026-04-01T20:10:53Zurn:sha1:cc440e2674697afc967e081cf91e03f149333502