Skip to content
Label PR based on Comment

feat: abbrev produces theorems where appropriate #8695

Sign in to view logs

feat: abbrev produces theorems where appropriate

feat: abbrev produces theorems where appropriate #8695

Triggered via issue December 11, 2024 08:56
@KhaKha
commented on #6083 8709ca3
Status Skipped
Total duration 2s
Artifacts –

labels-from-comments.yml

on: issue_comment
update-label
0s
update-label
Fit to window
Zoom out
Zoom in