Learning from Tactic Steps in Formal Proofs: Invited Talk at the Sixth Workshop on Proof eXchange for Theorem Proving