3 ms·
I want something like this for math. Write an equation, or a definition and see a bunch of different 'versions' of that snippet and where they are being used.
by spott 8y ago
I want something like this for math. Write an equation, or a definition and see a bunch of different 'versions' of that snippet and where they are being used.
This would help so much with understanding concepts and merging fields. It is way too common for different fields to independently "discover" some concept and be completely ignorant of all the work that has been done on that concept by some other field.
- andrewnc 8y agoThat's actually a fascinating idea. Do you think it would have to operate on PDFs? How would that work without the LaTex source?
- fspear 8y agodoesn't wolframalpha give you something like this?
- tbenst 8y agoCheckout the work on homotopy type theory and proof assistants like Coq
- ihaveajob 8y agoIt reminds me of Haskell's type based function search: https://hoogle.haskell.org/ https://hoogle.haskell.org/