docs: describe Statlib in the overlap scan instructions - #325

docs: describe Statlib in the overlap scan instructions#325

RemyDegenne merged 1 commit into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:chore/overlap-scan-statlibRemyDegenne/LMLExplore:chore/overlap-scan-statlibCopy head branch name to clipboard