Hello, I develop a website https://lemmasearch.com/ for searching theorems and definitions in the projects of the Rocq Platform and other Rocq projects. Here is a demo: Demo.
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.