TY  - RPRT
TI  - gym-saturation: Gymnasium environments for saturation provers (System description)
AU  - Boris Shminke
PY  - 2023
DO  - 10.1007/978-3-031-43513-3_11
UR  - https://arxiv.org/abs/2309.09022
ID  - 2309.09022
ER  -