Repository navigation

Add reproducible Lean formal verification workflow - #449

Open

quzhenghao wants to merge 7 commits into

ZJUEarthData:mainfrom

quzhenghao:qzh/lean-verification-workflow

Open

Add reproducible Lean formal verification workflow#449
quzhenghao wants to merge 7 commits into
ZJUEarthData:mainfrom
quzhenghao:qzh/lean-verification-workflow

Commits on Aug 17, 2026
- feat: add Lean formal verification workflow
  quzhenghao
  committed
  861de68
- test: record passing Lean verification audit
  quzhenghao
  committed
  843379f
Commits on Aug 18, 2026
- docs: align Lean verification branch workflow
  quzhenghao
  committed
  9ca4c5c
- merge: synchronize Lean workflow with upstream main
  quzhenghao
  committed
  3032620
- test: refresh Lean audit after upstream synchronization
  quzhenghao
  committed
  b34f7d1
- fix: align CLI parity plans with safe preprocessing order
  quzhenghao
  committed
  bc50cc0
- test: refresh Lean audit after parity alignment
  quzhenghao
  committed
  716a9e6