ProofViz

swMATH42615MaRDI QIDQ5973475FDOQ5973475

Author name not available (Why is that?)

Described by source

• ProofViz: an interactive visual proof explorer

This page was built for software: ProofViz