Display proof instead of pf
Open
- Dominant language
- No language data
- Stars
- 42
- Forks
- 40
- PR merge metrics
- No merged PRs in 30d
Description
### Description
Display proof instead of pf
### (Optional:) Please add any files, screenshots, or other information here.
_No response_
### (Required) What is this issue most closely related to? Select one.
Choose One
### Internal issue ID
2c25ff0e-25cd-4805-a6fe-9002f6085358
### Paper URL
https://arxiv.org/html/2506.22406v1
### Browser
Firefox/140.0
### Device Type
Macbook Pro
Contributor guide
Research direction
Open the paper at https://arxiv.org/html/2506.22406v1 in Firefox on the reported MacBook context and locate where “pf” is rendered. Trace that display to the relevant project entry point; done when the article shows “proof” instead of “pf”.
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
- 45/100