Back to all repositories
JU
lean-explore
by justincasher
A search engine for Lean 4 declarations
75stars13forks5watchers/subscribers1issues
apilean4machine-learningsearchsemantic-search
- Language
- Python
- License
- Apache License 2.0
- Size
- 1.4 MB
- Created
- May 17, 2025
- Last Updated
- Sep 3, 2026
- Last Pushed
- Aug 2, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.