Towards Formalizing RL Theory - View it on GitHub