PhyslibSearch

Semantic search for Physlib — the formal Lean 4 physics library