1 paper
Romain Sidhoum, Simon Robillard, David Delahaye
This paper introduces the strategy language of Pgeon, a meta-prover with a clear separation between inference rules and proof search. We give the semantics of strategies as functio…