What's Changed
- removing superfluous test module and scripts by @zorkow in #809
- Fix issue 803 by @zorkow in #807
- handle ring accent similar to angstrom by @zorkow in #806
- Refactor/debugger by @zorkow in #804
- Clean/formatting by @zorkow in #805
- Fix/rule annotators by @zorkow in #810
- Refactor/interval heuristic by @zorkow in #811
- Refactor/proof rules by @zorkow in #812
- workaround for the mathrm unit problem by @zorkow in #813
Full Changelog: v5.0.0-alpha.8...v5.0.0-beta.1