Interference of HTML and Bussproofs package
Open
Nobody has claimed this yet.
- Dominant language
- JavaScript
- Stars
- 10.9k
- Forks
- 1.2k
- PR merge metrics
- No merged PRs in 30d
Description
Commands in the HTML package don't work nicely with the proof macros of bussproofs.
See here for an example and more details of the problem:
https://groups.google.com/g/mathjax-users/c/MOmoW7tEt6Q
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with the linked Google Groups example and its description of the interaction between the HTML package and bussproofs proof macros. Trace how the reported commands are processed together, then confirm that the example works without breaking either package and add a regression test if the relevant test location can be identified.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- html, javascript, latex
- Domain
- frontend, web-dev
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100