/include/atp/

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