Publications

These are papers published by members of our group on topics related to proof comprehension.

Proof evaluation:

Proof comprehension:

Proof presentation: