coqoutline
A VSCode extension that implements outline view and go to definition for Coq files.
MIT License
Stars
10
Committers
2
Ecosystems:
VS Code Extension,
Coq
Commit Statistics
Past Year
All Time
Total Commits
0
11
Total Committers
0
2
Avg. Commits Per Committer
0.0
5.5
Bot Commits
0
0
Issue Statistics
Past Year
All Time
Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A