Roadmap
The project roadmap tracks VeriTile’s direction: bringing more real Triton kernel behavior into the scope of Lean proofs. Priorities and active work are maintained in the repository so this page does not duplicate a changing issue backlog.
Follow development
Section titled “Follow development”- Roadmap tracker: long-term development directions.
- Coverage and known limitations: current corpus scope and theorem interface work.
- Open issues: current tasks and discussions.
- Design plan: architecture and decisions.
- Completion audit: corpus evidence and documented gaps.
For a starting point in the existing implementation, see the project overview and translation cookbook.