LeanExplore is a Python package for semantic search over Lean 4 libraries, enabling AI agents to...

Tokens:7,725
Snippets:108
Trust Score:5.6
Update:2 months ago
Tokens:
Raw