tag:joss.theoj.org,2005:/papers/tagged/automated%20theorem%20proverJournal of Open Source Software2022-03-03T16:44:19ZJournal of Open Source Softwarehttps://joss.theoj.orgtag:joss.theoj.org,2005:Paper/30942022-03-03T16:44:19Z2022-03-04T00:01:13Zgym-saturation: an OpenAI Gym environment for saturation proversacceptedv0.1.02021-10-01 16:31:20 UTC712022-03-03 16:44:19 UTC720223849BorisShminkeLaboratoire J.A. Dieudonné, CNRS and Université Côte d'Azur, France0000-0002-1291-989610.21105/joss.03849https://doi.org/10.5281/zenodo.6324282Python, OpenEdge ABLhttps://joss.theoj.org/papers/10.21105/joss.03849.pdfOpenAI Gym, automated theorem prover, saturation prover, reinforcement learning