diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-11-07 03:49:29 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-11-07 03:49:29 +0800 |
| commit | a149fa58296b6ee5b8853df9b18a783e72e28772 (patch) | |
| tree | df96d91a79014d6997198c7737b8731dd01714f7 /proofsearch/src/infer/resolution.cc | |
| parent | 0207627dee47803c7c44ded952c2daadf138b2c1 (diff) | |
| download | rcc-project-a149fa58296b6ee5b8853df9b18a783e72e28772.tar.gz rcc-project-a149fa58296b6ee5b8853df9b18a783e72e28772.tar.xz | |
refactor: rename documents
Diffstat (limited to 'proofsearch/src/infer/resolution.cc')
0 files changed, 0 insertions, 0 deletions