Granularity-Adaptive Proof Presentation.

Marvin R. G. Schiller, Christoph Benzmller

Browse the full AIED paper archive.