Devashish-Pisal

Devashish-Pisal

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
1 Stars
0 Forks
0 Watchers

Repositories (1)

rocq-dependency-visualizer Devashish-Pisal/rocq-dependency-visualizer JavaScript

A web tool that analyzes and visualizes dependency graphs for Rocq (formerly Coq) projects. Upload .v or .dpd files to explore your project structure interactively.

1