# A Website for searching theorems and definitions in Rocq projects

**URL:** <https://discourse.rocq-prover.org/t/a-website-for-searching-theorems-and-definitions-in-rocq-projects/3019>\
**Category:** Announcements\
**Created:** [April 17, 2026, 4:04pm UTC](https://discourse.rocq-prover.org/t/a-website-for-searching-theorems-and-definitions-in-rocq-projects/3019 "2026-04-17T16:04:22Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![Rw1nd](https://avatars.discourse-cdn.com/v4/letter/r/97f17d/32.png) [@Rw1nd](https://discourse.rocq-prover.org/u/Rw1nd)\
**Post date:** [April 17, 2026, 4:04pm UTC](https://discourse.rocq-prover.org/t/a-website-for-searching-theorems-and-definitions-in-rocq-projects/3019/1 "2026-04-17T16:04:22Z")

</div>

Hello, I develop a website [https://lemmasearch.com/](https://lemmasearch.com/) for searching theorems and definitions in the projects of the Rocq Platform and other Rocq projects. Here is a demo: [Demo](https://lemmasearch.com/?project=coq-stdlib&query=length+rev).

The website is still under development. If you have any suggestions, would like a specific project to be added, or notice any missing theorems or definitions, feel free to contact me.  
Here is the tutorial: [Blog for lemmasearch.com](https://rw1nd.github.io/2025/12/15/2025-6-19-lemmasearch/).