Formal Methods, Maths and papers - View it on GitHub