ProofViz

swMATH42615MaRDI QIDQ5973475FDOQ5973475

Author name not available (Why is that?)

Official website: https://dl.acm.org/doi/abs/10.1007/978-3-030-83978-9_6

Described by source

• ProofViz: an interactive visual proof explorer

This page was built for software: ProofViz