Skip to content

[#14519] 9077, with options, downstream - #10

Draft
downstream-lean4[bot] wants to merge 2 commits into
masterfrom
adaptation-14519
Draft

[#14519] 9077, with options, downstream#10
downstream-lean4[bot] wants to merge 2 commits into
masterfrom
adaptation-14519

Update lean-toolchain for testing https://github.com/leanprover/lean4…

45d7905
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar