Feature/add default tactics#69

Merged

amit9oct merged 7 commits intomainfrom

feature/add_default_tactics

Jan 10, 2026

Commits on Jan 10, 2026

Add support for starting tactic sequences in SimpleLean4SyncExecutor
amit9oct
committed
Add FULL_BACKTRACK action type and implement full backtracking logic in ProofEnv
amit9oct
committed
Refactor tactic handling in DynamicProofExecutor and update test to use get_theorem_name_resembling
amit9oct
committed
Implement pretty_print_proof_so_far method in SimpleLean4SyncExecutor and ProofEnv; update tests to utilize new functionality
amit9oct
committed
Bump version to 1.5.0 in pyproject.toml
amit9oct
committed
Add file locking mechanism to SimpleLean4SyncExecutor for cache management
amit9oct
committed
Enhance GitHub Actions workflow by adding cleanup steps for conda, pip, and apt caches to free up disk space
amit9oct
committed