GoProof-Blog2018