Daniel Melcer, Stephen Chang. ProofViz: An Interactive Visual Proof Explorer. In Viktória Zsók, John Hughes, editors, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers. Volume 12834 of Lecture Notes in Computer Science, pages 116-135, Springer, 2021. [doi]
Abstract is missing.