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