Feature/graph creation#67

Merged

amit9oct merged 25 commits intomainfrom

feature/graph-creation

Nov 21, 2025

Commits on Nov 14, 2025

Add proof extraction functionality and example tests
amit9oct
committed
Refactor data extraction and parsing: update FileDependencyAnalysis handling and add proof attribute
amit9oct
committed

Commits on Nov 15, 2025

Commits on Nov 18, 2025

Commits on Nov 19, 2025

Simple refactoring.
amit9oct
committed
Add build step for lean4_proj and implement log cleanup in CI workflows
amit9oct
committed
Migrated all recent Lean code changes to src/itp_interface/lean
amit9oct
committed
Refactor path handling in tactic parser to use 'lean' directory instead of 'tools'
amit9oct
committed
Enhance CI workflows by adding disk cleanup steps and reorganizing test execution for Lean and Coq; trimmed the GitHub CI
amit9oct
committed
Remove disk cleanup step from CI workflows for Python build actions
amit9oct
committed
Add unit tests for Coq and Lean4 project building and proof execution
amit9oct
committed
Enhance Lean parsing and database error handling
amit9oct
committed