a collection of Gymnasium environments for saturation provers
conda install conda-forge::gym-saturation
gym-saturation is collection of Gymnasium environments for guiding automated theorem provers by reinforcement learning agents.