Skip to content
Backport

chore: add public modifiers in Lean.Elab.Tactic.Induction #14095

Sign in to view logs

chore: add public modifiers in Lean.Elab.Tactic.Induction

chore: add public modifiers in Lean.Elab.Tactic.Induction #14095

Triggered via pull request October 16, 2025 22:14
@kim-emkim-em
closed #10810
Status Success
Total duration 7s
Artifacts –

backport.yml

on: pull_request_target
Backport
4s
Backport
Fit to window
Zoom out
Zoom in