Refactor/lean4 standard structure#158

Merged

gift-framework merged 5 commits intomainfrom

refactor/lean4-standard-structure

Mar 22, 2026

Commits on Mar 22, 2026

refactor: restructure repo to Lean 4 standard layout

Brieuc de La Fourniere
and
claude
committed
fix: simplify lakefile.lean for Lake v4.27.0 compatibility

Brieuc de La Fourniere
and
claude
committed
fix(ci): use cd instead of --blueprint-dir for leanblueprint

Brieuc de La Fourniere
and
claude
committed
release: v3.4.0 — Lean 4 standard layout + version bump

Brieuc de La Fourniere
and
claude
committed
fix(ci): move blueprint/ back to root (leanblueprint convention)

Brieuc de La Fourniere
and
claude
committed