/proofsearch/src/

• ../
• core
• frontend
• index
• infer
• main.cc
• normalize
• proof
• rewrite
• search
• simplify
• strategy