Skip to content

tweaks for Lean: order of decls need toposort, plus minor parentheses#173

Merged
namin merged 5 commits into
mainfrom
lean-tweaks
Jul 16, 2026
Merged

tweaks for Lean: order of decls need toposort, plus minor parentheses#173
namin merged 5 commits into
mainfrom
lean-tweaks

retrigger CI after updates of case study

2f10bf9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lean
succeeded Jul 16, 2026 in 2m 40s