@ethermal

Excited for advent of code this year, gonna try to do it in lean4 :))

1 reply

0 recast

2 reactions