Skip to content
  1. CLRS-Lean
  2. Chapter 34. NP-Completeness
  3. Chapter 34 support. Compact natural-number fields for strict Chapter 34 languages
  4. Chapter 34 support. Fixed-machine interface for compact natural-number fields
  5. Chapter 34 support. Adder
Browse chapters
Imports
import CLRSLean.Chapter_34.BinaryNat.Machine.Adder.Core import CLRSLean.Chapter_34.BinaryNat.Machine.Adder.Semantics import CLRSLean.Chapter_34.BinaryNat.Machine.Adder.Run import CLRSLean.Chapter_34.BinaryNat.Machine.Adder.Runtime

Fixed binary addition machine