Guaranteeing proof termination

Dealing with infinite proof search in reinforcement-learning automated proofs

October 2019