ProofViz: An Interactive Visual Proof Explorer

Daniel Melcer; Stephen Chang

doi:10.1007/978-3-030-83978-9_6

ProofViz: An Interactive Visual Proof Explorer

Daniel Melcer
, Stephen Chang

Computer Science

Northeastern University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers
Editors	Viktoria Zsok, John Hughes
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	116-135
Number of pages	20
ISBN (Print)	9783030839772
DOIs	https://doi.org/10.1007/978-3-030-83978-9_6
State	Published - 2021
Event	22nd International Symposium on Trends in Functional Programming, TFP 2021 - Virtual, Online Duration: Feb 17 2021 → Feb 19 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12834 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	22nd International Symposium on Trends in Functional Programming, TFP 2021
City	Virtual, Online
Period	2/17/21 → 2/19/21

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

GUI tools
IDEs
Proof assistants

Access to Document

10.1007/978-3-030-83978-9_6

Cite this

Melcer, D., & Chang, S. (2021). ProofViz: An Interactive Visual Proof Explorer. In V. Zsok, & J. Hughes (Eds.), Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers (pp. 116-135). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12834 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-83978-9_6

ProofViz: An Interactive Visual Proof Explorer. / Melcer, Daniel; Chang, Stephen.
Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. ed. / Viktoria Zsok; John Hughes. Springer Science and Business Media Deutschland GmbH, 2021. p. 116-135 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12834 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Melcer, D & Chang, S 2021, ProofViz: An Interactive Visual Proof Explorer. in V Zsok & J Hughes (eds), Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12834 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 116-135, 22nd International Symposium on Trends in Functional Programming, TFP 2021, Virtual, Online, 2/17/21. https://doi.org/10.1007/978-3-030-83978-9_6

Melcer D, Chang S. ProofViz: An Interactive Visual Proof Explorer. In Zsok V, Hughes J, editors, Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. Springer Science and Business Media Deutschland GmbH. 2021. p. 116-135. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-83978-9_6

Melcer, Daniel ; Chang, Stephen. / ProofViz : An Interactive Visual Proof Explorer. Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers. editor / Viktoria Zsok ; John Hughes. Springer Science and Business Media Deutschland GmbH, 2021. pp. 116-135 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c61d84b19efb4d1499c34ed33a87742f,

title = "ProofViz: An Interactive Visual Proof Explorer",

keywords = "GUI tools, IDEs, Proof assistants",

author = "Daniel Melcer and Stephen Chang",

note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 22nd International Symposium on Trends in Functional Programming, TFP 2021 ; Conference date: 17-02-2021 Through 19-02-2021",

year = "2021",

doi = "10.1007/978-3-030-83978-9\_6",

language = "English",

isbn = "9783030839772",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "116--135",

editor = "Viktoria Zsok and John Hughes",

booktitle = "Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers",

}

TY - GEN

T1 - ProofViz

T2 - 22nd International Symposium on Trends in Functional Programming, TFP 2021

AU - Melcer, Daniel

AU - Chang, Stephen

PY - 2021

Y1 - 2021

KW - GUI tools

KW - IDEs

KW - Proof assistants

UR - https://www.scopus.com/pages/publications/85115174742

UR - https://www.scopus.com/pages/publications/85115174742#tab=citedBy

U2 - 10.1007/978-3-030-83978-9_6

DO - 10.1007/978-3-030-83978-9_6

M3 - Conference contribution

AN - SCOPUS:85115174742

SN - 9783030839772

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 116

EP - 135

BT - Trends in Functional Programming - 22nd International Symposium, TFP 2021, Revised Selected Papers

A2 - Zsok, Viktoria

A2 - Hughes, John

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 17 February 2021 through 19 February 2021

ER -

ProofViz: An Interactive Visual Proof Explorer

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this