free-theorems-counterexamples: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
101
VersionReverse dependencies
0.3
0.3.0.1
0.3.0.2
0.3.1.0