Skip to content
Jira sync

Cannot use binderNameHint to control binders of simp congruence rules #357

Sign in to view logs

Cannot use binderNameHint to control binders of simp congruence rules

Cannot use binderNameHint to control binders of simp congruence rules #357

Triggered via issue February 13, 2025 10:09
@nomeatanomeata
closed #7052 a833afa
Status Success
Total duration 10s
Artifacts –

jira.yml

on: issues
jira-sync
1s
jira-sync
Fit to window
Zoom out
Zoom in