Inference rules

[frankpfenning]

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://services.arxiv.org/html/submission/5385466/view

Browser

Chrome/120.0.0.0

Device Type

Desktop

[github-actions[bot]]

Hello @frankpfenning, thanks for the issue report! We are reviewing your report and will address it as soon as possible.

[chrisjcameron]

Hello @frankpfenning, once your paper is released, would you come back and attach some screenshots showing examples of the expected display (from PDF) and the HTML display?

[frankpfenning]

Now that the paper is published at https://arxiv.org/abs/2402.01428 , I don't see a link to the html that I saw when uploading it.

Is there a specific way to access it?

On Fri, Feb 2, 2024 at 3:42 PM chrisjcameron @.***> wrote:

Hello @frankpfenning https://github.com/frankpfenning, once your paper is released, would you come back and attach some screenshots showing examples of the expected display (from PDF) and the HTML display?

— Reply to this email directly, view it on GitHub https://github.com/arXiv/html_feedback/issues/385#issuecomment-1924668593, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAHKJ7KE74LYGEKTO53KZJLYRVFR3AVCNFSM6AAAAABCWYHUXWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSMRUGY3DQNJZGM . You are receiving this because you were mentioned.Message ID: @.***>

-- Frank Pfenning, Professor Computer Science Department Carnegie Mellon University Pittsburgh, PA 15213-3891

http://www.cs.cmu.edu/~fp https://cmu.zoom.us/my/fpfenning +1 412 268-6343 GHC 6017