https://123dok.net/document/z31110my-formalization-of-logical-calculi-in-isabelle-hol.html