VizAR: ATP Proof Visualization This is the public repo hosting the GitHub pages for ai.ciirc.cvut.cz/vizar. See the web page for more information.