Z3の証明の可視化の実験コードはとりあえず https://github.com/msakai/z3-proof-visualizer に置いておいた。