Skip to content
Propose PR

Make equations link to a 'prove this' link. #207

Sign in to view logs

Make equations link to a 'prove this' link.

Make equations link to a 'prove this' link. #207

Triggered via issue October 5, 2024 18:04
@teorthteorth
commented on #325 51127a6
Status Skipped
Total duration 2s
Artifacts –

03-propose-pr.yml

on: issue_comment
propose_pr
0s
propose_pr
Fit to window
Zoom out
Zoom in