From the 1 of 1 linked paper with an AI index.
1 paper
Mathews George, Kathrin Stark
The paper proposes a work‑in‑progress tactic that enables automatic pattern matching against assumptions in the Autosubst framework, addressing limitations with typing rules and re…