Skip to content

Extend the Lean 4.32 patch to Analyzer/Process.lean - #22

Merged
Gabrielebattimelli merged 1 commit into
mainfrom
fix/lean-4.32-process
Aug 15, 2026
Merged

Extend the Lean 4.32 patch to Analyzer/Process.lean#22
Gabrielebattimelli merged 1 commit into
mainfrom
fix/lean-4.32-process

Extend the Lean 4.32 patch to Analyzer/Process.lean

9f4452a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar