Skip to content

fix: subverso breakage from lean4#14834 - #39

Open
Kha wants to merge 1 commit into
masterfrom
push-muozomooqztt
Open

fix: subverso breakage from lean4#14834#39
Kha wants to merge 1 commit into
masterfrom
push-muozomooqztt

fix: subverso breakage from lean4#14834

f9b5ff4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar