Skip to content

feat(Tactic): convert now discharges side goals at reducible transparency#39039

Open
Vierkantor wants to merge 12 commits into
leanprover-community:masterfrom
Vierkantor:reducible-convert
Open

feat(Tactic): convert now discharges side goals at reducible transparency#39039
Vierkantor wants to merge 12 commits into
leanprover-community:masterfrom
Vierkantor:reducible-convert