copilot-prettyprinter - Reverse dependency statistics

copilot-prettyprinter: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
4	6	10

Version	Reverse dependencies
3.12	copilot-language-3.12 copilot-theorem-3.12
3.13	copilot-language-3.13 copilot-theorem-3.13
3.14	copilot-3.14 copilot-theorem-3.14
3.15	copilot-3.15 copilot-theorem-3.15
3.16	copilot-3.16 copilot-theorem-3.16
3.16.1	copilot-3.16 copilot-3.16.1 copilot-theorem-3.16 copilot-theorem-3.16.1
3.17	copilot-3.17 copilot-theorem-3.17
3.18	copilot-3.18 copilot-theorem-3.18
3.18.1	copilot-3.18 copilot-3.18.1 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-verifier-0.1
3.19	copilot-3.19 copilot-theorem-3.19 copilot-verifier-3.19
3.19.1	copilot-3.19 copilot-3.19.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-verifier-3.19
3.20	copilot-3.20 copilot-theorem-3.20
4.0	copilot-4.0 copilot-theorem-4.0
4.1	copilot-4.1 copilot-theorem-4.1
4.2	copilot-4.2 copilot-theorem-4.2