Gym-saturation: an OpenAI Gym environment for saturation provers.

Published in: CoRR (2022)

Keyphrases

real time
theorem proving
mobile robot
databases
website
artificial neural networks
multiresolution
three dimensional
bayesian networks
theorem prover
color image enhancement
dead zone