Skip to content

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

test: refresh Lean audit after parity alignment

716a9e6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
MCP to CLI parity
succeeded Aug 18, 2026 in 5m 35s