Total downloads
142
Pleiad.rocql
Rocql
7d gain
40
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.0.1
Latest published
Activity
Extension trends
Taxonomy
Categories
No categories declared.
Description
Visualize Rocq/Coq dependency graphs with frogql
Archive