Theory natural-fibonacci-def-1.50

theory file

name natural-fibonacci-def
version 1.50
requires
meta.description Definition of Fibonacci numbers
meta.author Joe Leslie-Hurd <joe@gilith.com>
meta.license MIT
meta.provenance HOL Light theory extracted on 2015-06-30
meta.show "Data.Bool"
meta.show "Data.List"
meta.show "Data.Pair"
meta.show "Data.Stream"
meta.show "Number.Natural"
meta.show "Number.Natural.Fibonacci"
meta.show "Probability.Random"
name main
article natural-fibonacci-def.art
[evaluating…]