Skip to content

GitLab

Merged
Created by Ralf Jung@jungOwner

add mk_evar tactic (to replace Coq's strange evar tactic) and use it