-
Notifications
You must be signed in to change notification settings - Fork 149
Issues: HOL-Theorem-Prover/HOL
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Arithmetic normalisation involving two subtractions fails if either can't be moved
Bug
Simplifier
Tactics/DPs
#674
opened Mar 4, 2019 by
mn200
Arithmetic normalisation of subtraction + SUC doesn't
Bug
Simplifier
Tactics/DPs
#672
opened Mar 4, 2019 by
mn200
Handle rewrites with new vars on r.h.s. that appear in conditions
Feature Request
Simplifier
#592
opened Sep 20, 2018 by
mn200
add more rewrites for universally quantified limit theorems
Simplifier
Tactics/DPs
#494
opened Nov 13, 2017 by
mn200
Simplifier should normalise integer expressions better
Feature Request
Simplifier
#155
opened Feb 26, 2014 by
mn200
Use sets rather than lists to store simplifier free variables
Feature Request
Low Priority
Simplifier
#53
opened Feb 2, 2012 by
mn200
ProTip!
Mix and match filters to narrow down what you’re looking for.