Skip to content

when the goal is an evar, pick emp when possible

Ralf Jung requested to merge ralf/emp-intro into gen_proofmode

Merge request reports