Document

 Document🔗

Compiled2026-10-23T21:05:06ZProject4943d33feat: prove assembly acceptance and input priority laws (#498)Leanleanprover/lean4:v4.35.0VersoBlueprint4943d33

Contents

  1. 1. Statement chapter
  2. 2. Proof chapter
  3. Blueprint Summary
  4. 3. Dependency graph
  5. Dependency Graph