Omar Antolín on Nostr: nprofile1q…jsaev nprofile1q…e6cfc There is this question from 2022, updated ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqyxxu3fkku2jfpuuhesaexzuhh6z5al0rjjs292kcvcryxc35v02q9jsaev (nprofile…saev) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq0w3367kxqkl7f3nv0yy2smqf00k4c5te380ws8awmmcu358qvyhqfe6cfc (nprofile…6cfc) There is this question from 2022, updated answers would be nice: https://mathoverflow.net/questions/430672/are-there-any-open-sourced-or-crowd-source-math-research-projects