Ryan Doenges
@doenges@mathstodon.xyz
Joined: 12/10/2024
About Ryan Doenges
I am thinking about separation logic. Certified Melville head
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@doenges@mathstodon.xyz
Joined: 12/10/2024
I am thinking about separation logic. Certified Melville head
{username} has no public lists
{username} has no activity yet