Skip to content

[#14536] [downstream PR] Julia's instance check - #16

Draft
downstream-lean4[bot] wants to merge 8 commits into
masterfrom
adaptation-14536
Draft

[#14536] [downstream PR] Julia's instance check#16
downstream-lean4[bot] wants to merge 8 commits into
masterfrom
adaptation-14536

downstream: follow upstream PR

658b90a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar