leanmdblueprint is a plan for an AI-native workflow for Lean formalization projects.
It aims to combine:
- blueprint-style project organization
- doc-gen-style declaration browsing
- theorem-level AI alignment checks between Lean and natural-language proofs
The current project plan is recorded in docs/PROJECT_PLAN.md.