gym-saturation: Gymnasium environments for saturation provers (System description)

Re-assign community