[CoqPL’25] Towards Mining Robust Coq Proof Patterns (Extended Abstract/Vision)

Published in The Eleventh International Workshop on Coq for Programming Languages, collocated with POPL, 2025