Unblock indexing on Lean 4.32, fail loudly when it stalls - #21

Unblock indexing on Lean 4.32, fail loudly when it stalls#21

Gabrielebattimelli merged 1 commit into

mainKernel-Science/physlibsearch:mainfrom

fix/lean-4.32-indexingKernel-Science/physlibsearch:fix/lean-4.32-indexingCopy head branch name to clipboard