rlean-search 0.2.1

Type-aware search over Lean 4 theorems, lemmas, and axioms

Coverage
42.72%
91 out of 213 items documented0 out of 57 items with examples
Size
Source code size: 343.19 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 2.55 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 12s Average build duration of successful builds.
all releases: 13s Average build duration of successful builds in releases after 2024-10-23.
Links
createyourpersonalaccount/rlean-search
0 0 0
crates.io
Dependencies
Versions
Owners

rlean-search

Fast type-aware search over Lean 4 theorem, lemma, and axiom declarations. Vibe-coded with Grok Build.

The repository is available at https://github.com/createyourpersonalaccount/rlean-search.
The manual is available online at https://createyourpersonalaccount.github.io/rlean-search and in the source code at manual/index.adoc.