Skip to content

update test scripts#117

Open
RexWzh wants to merge 1 commit intoleanprover-community:masterfrom
Lean-zh:fix-tests
Open

update test scripts#117
RexWzh wants to merge 1 commit intoleanprover-community:masterfrom
Lean-zh:fix-tests

Commits

Commits on Jul 4, 2025