proof-assistant-bot: total reverse dependencies

Direct reverse dependenciesIndirect reverse dependenciesTotal
000
Package nameTotal reverse dependencies