I need a new home computer. I like running Linux but I hate setting it up. Last time I got System76 and it was nice for a while, but eventually things broke. What are the best prepackaged Linux machines these days?
I haven't had any issues with OCaml, I don't think. pretty sure opam is on Homebrew. haven't done anything with Coq so can't speak to that but wouldn't be surprised if it also has a Homebrew package.