@article{oai:soar-ir.repo.nii.ac.jp:02001209, author = {Okazaki, Hiroyuki}, issue = {3}, journal = {FORMALIZED MATHEMATICS}, month = {Feb}, note = {Binary representation of integers and arithmetic ope-rations on them have already been introduced in Mizar Mathematical Library. However, these articles formalize the notion of integers as mappedinto a certain length tuple of boolean values.In this article we formalize, by means of Mizar system, the binaryrepresentation of natural numbers which mapsNinto bitstreams., Article, FORMALIZED MATHEMATICS 26(3) : 223-229(2019)}, pages = {223--229}, title = {Binary Representation of Natural Numbers}, volume = {26}, year = {2019} }