CONTROL SEMIFLOWS, CHAIN CONTROLLABILITY, AND THE SELGRADE DECOMPOSITION FOR LINEAR DELAY SYSTEMS
Open
fidelity
latexml
listings
- Dominant language
- No language data
- Stars
- 42
- Forks
- 40
- PR merge metrics
- No merged PRs in 30d
Description
### Description
Proofs should not be numbered.
### (Optional:) Please add any files, screenshots, or other information here.
_No response_
### (Required) What is this issue most closely related to? Select one.
Other
### Internal issue ID
848b472d-08af-4378-aa19-8f3eb3fdb1ac
### Paper URL
https://arxiv.org/html/2408.10048v1
### Browser
Firefox/129.0
### Device Type
Desktop
Contributor guide
Research direction
Open the paper at the linked arXiv HTML URL and inspect how its proofs are rendered and numbered. Trace that presentation behavior in the html_feedback project, then verify that proofs in the rendered article are no longer numbered.
Written by the indexing model from the issue text.
Assessment
- Domain
- frontend
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 25/100