Is there a database for tracking the dependencies of mathematical theorems?mathoverflow.net2 pointskafkaesq10 years ago