Is there perhaps open-source software for managing labelled objects?
I am looking for a BibDesk for theorems basically because I have rather many propositions and theorems floating around that I would like to reference. I am currently using an Excel spreadsheet to keep track of their labels, names but I am sure there must be some software, no?
Perhaps there exist general packages as well?
At the moment I am using TexShop which is an otherwise very good piece of software.
Thanks so much!