exfalso++ is an improved version of Coq's exfalso tactic
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool