Proof Readability

Proof Readability is a measure of the clarity, coherence, and ease with which a mathematical proof can be understood and verified by a human reader, distinguishing it from purely formal or syntactic properties of proof correctness.

8

Publications

402

Citations

8

Authors

8

Institutions

Publications per year

2017–2026

0

Authors

8

  1. KW
    Keith Weber

    Rutgers, The State University of New Jersey, United States

    3 publications · 220 citations

    3

    h-index

  2. JP
    Juan Pablo Mejía-Ramos

    Rutgers, The State University of New Jersey, United States

    2 publications · 176 citations

    2

    h-index

  3. KP
    Karol Pąk

    University of Białystok, Poland

    2 publications · 40 citations

    2

    h-index

  4. LA
    Liz Austin

    University of Essex, United Kingdom

    1 publications · 76 citations

    1

    h-index

  5. RM
    Rowena Macaulay

    University of Essex, United Kingdom

    1 publications · 76 citations

    1

    h-index

1–5 of 8

Venues

  1. Educational Studies in Mathematics

    2 publications · 176 citations

    2

    h-index

  2. Journal of Second Language Writing

    JSLW · 1 publications · 76 citations

    1

    h-index

  3. Nature

    1 publications · 53 citations

    1

    h-index

  4. Journal of Automated Reasoning

    1 publications · 21 citations

    1

    h-index

  5. Logical Methods in Computer Science

    LMCS · 1 publications · 19 citations

    1

    h-index

1–5