https://123dok.net/document/q5mpm1gg-extending-smtcoq-certified-checker-smt-extended-abstract.html