×
You are not logged in
Bluesky Profile
Alex Nelson
Registered: 20 Aug 2024 14:11
Last post: 2 Mar 2026 14:35
Mathematician, software engineer. Obsessed with everything about proof assistants.
AMS Subject Class.: 68V15, 68V20, 20Exx.
This account allows incoming chat messages from accounts on Bluesky it follows.
This account allows followers on Bluesky to be notified of new posts from this account.
| pqnelson.bsky.social PDS: blewit.us-west.host.bsky.network 2024-08-20 14:11:22 |