This was requested by multiple people to me: Show some statistics on the dependency graph.
Example: just below the legend, have some lines like:
Total nodes: 200
Formalized definitions: 50 (100%)
Formalized statements: 60 (40%)
Formalized proofs: 15 (10%)
This was requested by multiple people to me: Show some statistics on the dependency graph.
Example: just below the legend, have some lines like: