Site stats
Active right now
…
Heartbeat in the last 90 seconds
Total page views
…
Every page load/navigation, repeats included
Search index
Loading…
By library
MathComp19,448 · 43.8% · 96.1% described
Stdlib13,735 · 30.9% · 100% described
MathComp-Analysis8,994 · 20.2% · 100% described
GeoCoq2,263 · 5.1% · 100% described
MathComp's descriptions are from LLM4Docq, a separate project — not generated by Rocqet. Stdlib, MathComp-Analysis, and GeoCoq descriptions are generated by Rocqet itself.
By declaration kind (top 6)
Lemma33,335 · 75%
Definition6,165 · 13.9%
Let1,527 · 3.4%
Theorem1,428 · 3.2%
Fact783 · 1.8%
Fixpoint559 · 1.3%