3 ms·Is there a database for tracking the dependencies of mathematical theorems?2 points by kafkaesq 10y ago