This addition to the website is going to be valuable, as it will hold all of the derived formulas from various error and activation functions, as well as explanations related to OPE Prop. This page is available as a section on the "The Algorithm" page or here.