@pwalrus.bsky.social
246 Followers · 1090 Following
trying to be a mathematician. i like Coq/Agda/Lean
