LemmaSearch: Rocq theorem search website, supporting fuzzy search for theorems.
TheoremExtr: A theorem and definition extraction tool in Rocq