From the 1 of 1 linked paper with an AI index.
1 paper · 1 filter
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…