minus-squaremalba@programming.devtoProgramming@programming.dev•It turns out I really enjoy programming puzzles, is there something useful I can do with it?hexbear3·9 months agoMaybe 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. linkfedilink
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.