Inference rules
Open
bug
formula
latexml-oxide
mathml
- Dominant language
- No language data
- Stars
- 42
- Forks
- 40
- PR merge metrics
- No merged PRs in 30d
Description
### Description
The inference rules produced with proof.sty do not display correctly
### (Optional:) Please add any files, screenshots, or other information here.
_No response_
### (Required) What is this issue most closely related to? Select one.
Formula
### Internal issue ID
8de80dc8-3369-43cb-b858-98b79cf1aa60
### Paper URL
https://arxiv.org/html/2402.01428v1
### Browser
Chrome/120.0.0.0
### Device Type
Desktop
Contributor guide
Research direction
Open the paper at https://arxiv.org/html/2402.01428v1 and inspect how the inference rules from proof.sty are rendered. Compare the incorrect display with the source or expected formula presentation; done means the inference rules display correctly in the HTML output.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- latex
- Domain
- frontend
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100