zwarich
@zwarich@hachyderm.io
Programming language & compiler enthusiast, computer architect. Creator of Rosetta 2.
hachyderm.io
@xenaproject This might be a dumb question (albeit one that I'm unlikely to be alone in asking), but what's the current state of the art in formalized arithmetic geometry?
0
1
0
Conversation (1)
Showing 0 of 1 cached locally.
Syncing comments from the remote thread. 1 more reply is still loading.
Loading comments...