avatar

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