libBF - Reverse dependency statistics

libBF: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
6	27	33

Version	Reverse dependencies
0.5.0	sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2
0.5.1	cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2
0.6	crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.1	crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.2	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.3	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 grisette-0.8.0.0 grisette-0.9.0.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.4	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 grisette-0.8.0.0 grisette-0.9.0.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.5	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 grisette-0.8.0.0 grisette-0.9.0.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.5.1	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 grisette-0.8.0.0 grisette-0.9.0.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.6	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 grisette-0.8.0.0 grisette-0.9.0.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.7	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 grisette-0.8.0.0 grisette-0.9.0.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 sbv-10.3 sbv-10.4 sbv-10.5 sbv-10.6 sbv-10.7 sbv-10.8 sbv-10.9 sbv-10.10 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2
0.6.8	copilot-theorem-3.3 copilot-theorem-3.4 copilot-theorem-3.5 copilot-theorem-3.6 copilot-theorem-3.7 copilot-theorem-3.8 copilot-theorem-3.9 copilot-theorem-3.10 copilot-theorem-3.11 copilot-theorem-3.12 copilot-theorem-3.13 copilot-theorem-3.14 copilot-theorem-3.15 copilot-theorem-3.16 copilot-theorem-3.16.1 copilot-theorem-3.17 copilot-theorem-3.18 copilot-theorem-3.18.1 copilot-theorem-3.19 copilot-theorem-3.19.1 copilot-theorem-3.20 copilot-theorem-4.0 copilot-theorem-4.1 crux-0.7 crux-0.7.1 cryptol-2.9.0 cryptol-2.9.1 cryptol-2.10.0 cryptol-2.11.0 cryptol-2.12.0 cryptol-2.13.0 cryptol-3.0.0 cryptol-3.1.0 cryptol-3.2.0 grisette-0.8.0.0 grisette-0.9.0.0 sbv-8.11 sbv-8.12 sbv-8.13 sbv-8.14 sbv-8.15 sbv-8.16 sbv-8.17 sbv-9.0 sbv-9.1 sbv-9.2 sbv-10.0 sbv-10.1 sbv-10.2 sbv-10.3 sbv-10.4 sbv-10.5 sbv-10.6 sbv-10.7 sbv-10.8 sbv-10.9 sbv-10.10 sbv-10.11 sbv-10.12 sbv-11.0 what4-1.1 what4-1.2 what4-1.2.1 what4-1.3 what4-1.4 what4-1.5 what4-1.5.1 what4-1.6 what4-1.6.1 what4-1.6.2