Skip to content

fix: remove grind attr from Xi.step_lc_r - #751

Open
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:not_grind_step_lc_r
Open

fix: remove grind attr from Xi.step_lc_r#751
lengyijun wants to merge 1 commit into
leanprover:mainfrom
awesome-lambda-calculus:not_grind_step_lc_r

fix: remove grind attr from Xi.step_lc_r

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

Annotations

1 notice
check-pr-title
succeeded Oct 17, 2026 in 2s