Add proof package
Epic latex