[jlelonm]

This is really cool!! I hope this becomes popular. Imagine having all theorems etc indexed like this!

[CatsAreCool]

Thanks for the support! Yes, that is one of the goals, to make it really easy to find what is known in mathematics and contribute to that knowledge base. I have https://mathlore.org which is a demonstration of how such as system could work.