[Lean Squad] feat: formal verification infrastructure — research & CI automation#7799

Merged

Evangelink merged 5 commits intomainfrom

lean-squad/research-and-ci-2026-04-24-a3943919f2a5931a

Apr 24, 2026

Commits on Apr 24, 2026

feat: add formal verification infrastructure and CI workflow

authored and
GitHub Copilot
committed
Bump version + ignore folder from markdownlint
GitHub Copilot
committed
fix: update elan to v4.2.1 and remove missing .sha256 check
GitHub Copilot
committed
Cleanup + review comments
GitHub Copilot
committed
feat: add informal spec for ArgumentArity (Task 2)

github-actions[bot]
and
Copilot
authored