ratp - A saturation-based automated theorem prover for first-order logic.

	Commit message (Collapse)	Author	Age	Files	Lines
*	feat: enhance clang-tidy configuration and improve code quality across ↵HEAD master	Richard Qin	2026-04-08	1	-0/+9
\| \| \| \|	multiple files
*	refactor: rename struct members to follow trailing underscore naming ↵	Richard Qin	2026-04-07	2	-6/+6
\| \| \| \|	convention across core, search, and frontend components
*	style: reformat codebase with consistent indentation	Richard Qin	2026-04-04	2	-5/+3
\|
*	feat: implement saturation-based resolution loop in Prover class	Richard Qin	2026-04-04	1	-1/+4
\|
*	Initial commit: Build project architecture, define interfaces, write ↵	Richard Qin	2026-04-02	2	-0/+125
	documentation, with the help of Claude