Tracking issue for bitblast tactic
This is the tracking issue for the bitblast tactic added in !402 (merged). A tracking issue is where we track and discuss what still needs to happen to make a module move to std++ proper.
Open issues
- Improve documentation
- Remove the use of ssreflect
- Remove long lines
- Upstream general lemmas to the proper place in std++
- Write more tests
- Conduct a proper code review
Edited by Michael Sammler