Skip to content

[#15109] test toolchain: stricter check for dsimp lemmas - #68

Draft
downstream-lean4[bot] wants to merge 3 commits into
masterfrom
adaptation-15109
Draft

[#15109] test toolchain: stricter check for dsimp lemmas#68
downstream-lean4[bot] wants to merge 3 commits into
masterfrom
adaptation-15109

remove unnecessary options

c9d5d45
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar