Release bump#30

Merged

amit9oct merged 4 commits intoreleasefrom

Feb 13, 2025

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
Merge pull request #28 from trishullab/release
amit9oct
authored
Merge pull request #29 from trishullab/usr/amit9oct/simple-proof-env-rl-abstraction-uniform-tuple
amit9oct
authored