name: natural-bits-thm version: 1.57 description: Properties of natural number to bit-list conversions author: Joe Leslie-Hurd license: MIT provenance: HOL Light theory extracted on 2015-11-01 requires: base requires: natural-bits-def requires: probability show: "Data.Bool" show: "Data.List" show: "Data.Pair" show: "Function" show: "Number.Natural" show: "Probability.Random" main { article: "natural-bits-thm.art" }