Skip to content

[Merged by Bors] - fix(Tactic/Convert): support over-applications again#40740

Closed
JovanGerb wants to merge 4 commits into
leanprover-community:masterfrom
JovanGerb:Jovan-convert-overapplications
Closed

[Merged by Bors] - fix(Tactic/Convert): support over-applications again#40740
JovanGerb wants to merge 4 commits into
leanprover-community:masterfrom
JovanGerb:Jovan-convert-overapplications

Merge branch 'master' into Jovan-convert-overapplications

d63dfe5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci (fork) / Lint style
succeeded Jun 25, 2026 in 2m 4s