There’s a bigger thread about this topic here if you’re curious: How to make NixOS so easy that people can be productive up front, without having to first learn the nix language?
The simplest is to try steam-run ./robo_instructus as already mentioned here but there are other solutions in the thread that might interest you as well