User-adaptive proof explanation