Gödel-Gentzen Translation
@ohmygoedel@mathstodon.xyz
Joined: 25/04/2022
About Gödel-Gentzen Translation
I enjoy the proof-theoretic and categorical aspects of human knowledge. [Pronouns: He/Him]
Lists
{username} has no public lists
Timeline
{username} has no activity yet