search

gpoesia / minimo

Learning Formal Mathematics from Intrinsic Motivation
MIT License
9 stars 7 forks source link

feat: add launchers and documentation for distributed setup #5

Open emergenz opened 2 weeks ago

emergenz commented 2 weeks ago

Added documentation and launchers for the distributed setup. Feel free to suggest improvements.

emergenz commented 2 weeks ago

If you want, I can also change the apptainer redis setup to a bash script to locally compile redis (since most HPC clusters don't allow installing packages, it has to be one of the two)