Granularity-Adaptive Proof Presentation