Spaces:

Ray5th
/

Lean4-helper

Running

Lean4-helper / .gitattributes

p4r5kpftnp-cmd

Add pre-built Mathlib FAISS index (118,885 declarations)

cb30699 about 2 months ago

132 Bytes

	data/mathlib_index/index.faiss filter=lfs diff=lfs merge=lfs -text
	data/mathlib_index/index.pkl filter=lfs diff=lfs merge=lfs -text