In reply to
Ryan Brewer
@ryanbrewer@mathstodon.xyz
Love logic, philosophy, type theory, abstract algebra, and PLT. Leftist. He/him.
mathstodon.xyz
Ryan Brewer
@ryanbrewer@mathstodon.xyz
Love logic, philosophy, type theory, abstract algebra, and PLT. Leftist. He/him.
mathstodon.xyz
@ryanbrewer@mathstodon.xyz
·
Mar 06, 2026
@carloangiuli @danielgratzer thanks!!
View full thread on mathstodon.xyz
0
0
0
Loading comments...