Skip to content

feat(GRewrite): support strict rewriting in >/≥#41503

Open
JovanGerb wants to merge 2 commits into
leanprover-community:masterfrom
JovanGerb:Jovan-grw-strict_ge
Open

feat(GRewrite): support strict rewriting in >/≥#41503
JovanGerb wants to merge 2 commits into
leanprover-community:masterfrom
JovanGerb:Jovan-grw-strict_ge

.

01c2a28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check_title
succeeded Jul 8, 2026 in 1m 29s