Proof Clustering for Proof Plans

摘要: ∎ Extended Regular expression format∎ A grouping of ‘similar’proof techniques: assoc-l, assoc-l, inv-r, id-l assoc-l, inv-l, id-l assoc-l, assoc-l, assoc-l, inv-r, id-l∎… generalizes to the method: assoc-l*,[inv-r| inv-l], id-l