Qinshi Wang comments

Repositories
Issues
Comments

Results 1 comments of


                                            Qinshi Wang

`ecareful_unify` can't handle evars in if-then-else

I wrote this tactic because unify is too strong. But in what case unify is too strong? On Fri, Jul 29, 2022, 5:29 PM Qinshi Wang ***@***.***> wrote: > Maybe...