Chris
@InstructionsAreInTheSun@mastodon.world
Joined: 17/12/2025
About Chris
I'm interested in the verification of software. I use haskell
Lists
{username} has no public lists
Timeline
{username} has no activity yet
@InstructionsAreInTheSun@mastodon.world
Joined: 17/12/2025
I'm interested in the verification of software. I use haskell
{username} has no public lists
{username} has no activity yet