a collection of Gymnasium environments for saturation provers
Primary LanguageTeXApache License 2.0Apache-2.0