ProofViz: An Interactive Visual Proof Explorer.

Daniel Melcer Stephen Chang

Published in: TFP (2021)

Keyphrases

interactive visual
interactive visualization
visual exploration
data visualization
virtual environment
web browser
exploratory analysis
end users
image database
open source
visualization tool