unironically excited for when many scientific contributions become formally composable https://t.co/QNJsuzUeY7

Posters: davidad. davidad

5 likes recorded by the source corpus.

Topics: Math, Software

View Post: https://x.com/davidad/status/1775601205600714994