Comment on It turns out I really enjoy programming puzzles, is there something useful I can do with it?
malba@programming.dev 1 year ago
Maybe try getting into theorem proving? I’ve heard good things about Lean and I’ve tried Coq for a bit and it was fun. Don’t know much about this tbh.