7 ms·What do you think is missing to capture the high-level structure of mathematical concepts?by hacker42 10y agoWhat do you think is missing to capture the high-level structure of mathematical concepts?