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. Comparator
Browse chapters
Imports
import CLRSLean.Chapter_34.BinaryNat.Machine.Comparator.Core import CLRSLean.Chapter_34.BinaryNat.Machine.Comparator.Semantics import CLRSLean.Chapter_34.BinaryNat.Machine.Comparator.Run import CLRSLean.Chapter_34.BinaryNat.Machine.Comparator.Runtime

Fixed binary less-than-or-equal comparator