Removed special case handling while calling an environment which has …#29

Merged

amit9oct merged 2 commits intomainfrom usr/amit9oct/simple-proof-env-rl-abstraction-uniform-tuple

Feb 13, 2025

+2-2

Commits on Feb 13, 2025

Removed special case handling while calling an environment which has completed the proof already.
Amitayush Thakur
committed
Version Bump
Amitayush Thakur
committed