https://123dok.net/document/y9616mll-reconstructing-verit-proofs-in-isabelle-hol.html