Skip to content

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

Open
ib823 wants to merge 1 commit intomainfrom
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 intomainfrom
claude/fix-lean-build-modules-AhiO8

Commits

Commits on Mar 19, 2026