Skip to content
GitLab
Explore
Sign in
Register
Víctor López Juan
Tog⁺
Tags
twins-without-whnfview
twins-without-whnfview
Víctor López Juan
@vlopez
cc45eef3
·
Do not normalize on twin variable elimination
·
Nov 22, 2016
Do not normalize when searching for twins