Ryan Brewer
@ryanbrewer@mathstodon.xyz
Joined: 05/03/2024
About Ryan Brewer
Love logic, philosophy, type theory, abstract algebra, and PLT.
Leftist.
He/him.
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@ryanbrewer@mathstodon.xyz
Joined: 05/03/2024
Love logic, philosophy, type theory, abstract algebra, and PLT.
Leftist.
He/him.
{username} has no public lists
{username} has no activity yet