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

Boris Shminke

This work describes a new version of a previously published Python package - gym-saturation: a collection of OpenAI Gym environments for guiding saturation-style provers based on t…