perf(Translate): don't actually beta reduce the proof #198770
Triggered via issue
April 7, 2026 22:04
leanprover-radar
Status
Success
Total duration
10s
Artifacts
–
bot_fix_style.yaml
on: issue_comment
Fix style issues from lint
7s