The bilateral audit, Lean4 corpus, and the formal scaffolding submitted for external review.
Watch the theme introduction, then browse the articles below.