aboutsummaryrefslogtreecommitdiff
path: root/proofsearch/include/atp/core/clause.h
Commit message (Collapse)AuthorAgeFilesLines
* style: reformat codebase with consistent indentationRichard Qin2026-04-041-3/+2
|
* Initial commit: Build project architecture, define interfaces, write ↵Richard Qin2026-04-021-0/+53
documentation, with the help of Claude