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