Skip to content

fix(proofs): repair WokeLang.lean to verify under Lean 4.30.0 + add CI gate#79

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/sleepy-carson-bREoV
Jun 14, 2026
Merged

fix(proofs): repair WokeLang.lean to verify under Lean 4.30.0 + add CI gate#79
hyperpolymath merged 1 commit into
mainfrom
claude/sleepy-carson-bREoV

fix(proofs): repair WokeLang.lean to verify under Lean 4.30.0 + add C…

2287d35
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar