Analysing proving discourse

a dialogical perspective