user avatar
Miles
@technoHimbo
live, laugh, formally verify using dependent types
Joined January 2022
485
Following
175
Followers
@technoHimbo hasn’t posted
When they do, their posts will show up here.