Talk:Proof mining