rcc-project/proofsearch/include/atp/simplify, 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 clause subsumption and tautology detection logic with associated unit tests2026-04-03T19:02:48ZRichard Qinrichard.qin.x@gmail.com2026-04-03T19:02:48Zurn:sha1:2713bbcb4044ca18eb3071a8efea7ad097a6693bInitial 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