Skip to content
Label PR based on Comment

Tactics can modify the elaborated types of theorems with let rec #19685

Sign in to view logs

Tactics can modify the elaborated types of theorems with let rec

Tactics can modify the elaborated types of theorems with let rec #19685

Triggered via issue December 5, 2025 16:40
@nomeatanomeata
commented on #10252 9cbff55
Status Skipped
Total duration 1s
Artifacts –

labels-from-comments.yml

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