PluginStatsleanprover plugins and extensions
PluginStats tracks 1 listing from leanprover on VS Code Marketplace.
VS Code Marketplace (1)
VS Code Marketplace rankings →| # | Plugin | Installs | 7d | 30d |
|---|---|---|---|---|
| 1549 | 195.1K | — | — |
PluginStats tracks 1 listing from leanprover on VS Code Marketplace.
| # | Plugin | Installs | 7d | 30d |
|---|---|---|---|---|
| 1549 | 195.1K | — | — |