×
You are not logged in
Bluesky Profile
pwalrus
Registered: 3 Nov 2023 23:30
Last post: 26 Nov 2025 06:28
trying to be a mathematician. i like Coq/Agda/Lean
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.
| pwalrus.bsky.social PDS: bsky.social 2023-11-03 23:30:47 |
| pwalrus.bsky.social PDS: morel.us-east.host.bsky.network 2023-11-09 17:32:26 |