Comboproofs
From Aware Theory
Comboproofs are symbolic, mathematical, or more the better or more rigorous comboarguments. Comboproofs are used to give support or proof for comboprinciples based on science, mathematics, logic, comboevidence, and comboexperiments.