Report copyright - Recycling Proof Patterns in Coq: Case Studiescommon proof patterns across fundamental libraries (1404 theorems). The bene ts of using ML4PG in this context is that it can be used to
Please pass captcha verification before submit form