LeanExplore

https://github.com/justincasher/lean-explore

LeanExplore is a search engine for Lean 4 declarations that enables developers to explore and...

Tokens:8,964
Snippets:78
Trust Score:7.3
License:Apache-2.0
Update:3 months ago
Tokens:
Raw