published Published over 3 years ago
gym-saturation: an OpenAI Gym environment for saturation provers
Python OpenEdge ABL
@inpefess
published Published almost 5 years ago
Journal of Open Source Software is an affiliate of the Open Source Initiative.
Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.
Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066
@CFGrote