Skip to content

Latest commit

 

History

History
13 lines (11 loc) · 480 Bytes

18500-deprecations_in_Numbers.rst

File metadata and controls

13 lines (11 loc) · 480 Bytes
Raw

  • Deprecated: The library files

    • Coq.Numbers.Integer.Binary.ZBinary
    • Coq.Numbers.Integer.NatPairs.ZNatPairs
    • Coq.Numbers.Natural.Binary.NBinary

    have been deprecated. Users should require Coq.Arith.PeanoNat or Coq.Arith.NArith.BinNat if they want implementations of natural numbers and Coq.Arith.ZArith.BinInt if they want an implementation of integers. (#18500, by Pierre Rousselin).