Isoproofs
From Aware Theory
Isoproofs are symbolic, mathematical, or more the better or more rigorous isoarguments. Isoproofs are used to give support or proof for isoprinciples based on science mathematics, logic isoevidence and isoexperiments.