From the 1 of 1 linked paper with an AI index.
1 paper
Romain Sidhoum, Simon Robillard, David Delahaye
The paper introduces a strategy language for the Pgeon meta‑prover that cleanly separates inference rules from proof search, defining semantics for strategies to enable fair and co…