fix: use replay from leanprover/lean4#2617#71

Closed

kim-em wants to merge 1 commit intoleanprover-community:masterfrom kim-em:use_replay

+7-7

Commits on Oct 9, 2023

fix: use replay from leanprover/lean4#2617
kim-em
committed