Skip to content

Fix namespace declarations and add missing type annotations in Lean files - #45

Open
ib823 wants to merge 1 commit into
mainfrom
claude/fix-lean-build-modules-AhiO8
Open

Fix namespace declarations and add missing type annotations in Lean files#45
ib823 wants to merge 1 commit into
mainfrom
claude/fix-lean-build-modules-AhiO8

[TRACK_A] PROOF: Fix Lean build — re-enable Industries/Compliance/Mob…

a4da198
Select commit
Loading
Failed to load commit list.

There are no checks for this commit