Skip to content

Merge master into 10577 (take master's lka.py)

c165f48
Select commit
Loading
Failed to load commit list.
Merged

feat: test case for leanprover/lean4#10577 #13

Merge master into 10577 (take master's lka.py)
c165f48
Select commit
Loading
Failed to load commit list.