ethermal.eth pfp
ethermal.eth

@ethermal

Excited for advent of code this year, gonna try to do it in lean4 :))
1 reply
0 recast
2 reactions