Skip to content

Lean audit: the fifty translation defects it refuted - #22

Merged
chenyueqi merged 1 commit into
mainfrom
sync/lean-audit
Sep 30, 2026
Merged

Lean audit: the fifty translation defects it refuted#22
chenyueqi merged 1 commit into
mainfrom
sync/lean-audit

Fix the translation defects the Lean audit refuted (FNP-D0001–D0050)

614ea7b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar