aboutsummaryrefslogtreecommitdiff
path: root/proofsearch/include/atp/simplify
Commit message (Collapse)AuthorAgeFilesLines
* Initial commit: Build project architecture, define interfaces, write ↵Richard Qin2026-04-022-0/+87
documentation, with the help of Claude