@misc{indiciae4d1eb96b939f,
  title = {gym-saturation: Gymnasium environments for saturation provers (System description)},
  author = {Boris Shminke},
  year = {2023},
  doi = {10.1007/978-3-031-43513-3\_11},
  url = {https://arxiv.org/abs/2309.09022},
  note = {Source identifier: 2309.09022}
}