A formalization of the theory behind the mugen library - View it on GitHub