rcc-project - A collection of projects, including a C compiler, binutils, a memory allocator, an automated theorem prover, and a web browser.

	Commit message (Collapse)	Author	Age	Files	Lines
*	feat: implement command-line interface and add end-to-end propositional ↵	Richard Qin	2026-04-04	5	-13/+275
\| \| \| \|	logic test suite
*	feat: implement proof trace extraction and add proof trace test	Richard Qin	2026-04-04	4	-9/+365
\|
*	feat: implement saturation-based resolution loop in Prover class	Richard Qin	2026-04-04	5	-10/+349
\|
*	feat: implement clause subsumption and tautology detection logic with ↵	Richard Qin	2026-04-04	6	-0/+250
\| \| \| \|	associated unit tests
*	feat: implement variable renaming and update resolution logic to prevent ↵	Richard Qin	2026-04-04	3	-3/+399
\| \| \| \|	variable collisions
*	feat: implement substitution logic and unify/applySubstitution functions for ↵	Richard Qin	2026-04-03	6	-10/+561
\| \| \| \|	term resolution
*	feat: implement core term, symbol, and clause storage logic with ↵	Richard Qin	2026-04-03	8	-14/+481
\| \| \| \|	canonicalization support
*	fix: remove files that should be ignored	Richard Qin	2026-04-03	17	-0/+0
\|
*	refactor: replace string-based formula representation with interned ↵	Richard Qin	2026-04-02	7	-24/+416
\| \| \| \|	SymbolIds and introduce stateful Clausifier for TPTP parsing
*	Initial commit: Build project architecture, define interfaces, write ↵	Richard Qin	2026-04-02	74	-0/+3476
	documentation, with the help of Claude