David,
> On 1 Nov 2019, at 16:13, David Topham wrote:
>
> Ok, I can work within integers for awhile! I was trying to use the general
> form of the geometric progression that may involve fractions, but I can
> explore whole numbers more first.
As an aside from what Roger has been trying to he
David,
On 01/11/2019 16:13, David Topham wrote:
Ok, I can work within integers for awhile! I was trying to use the
general form of the geometric progression that may involve fractions,
but I can explore whole numbers more first. I see the "induction_thm"
won't work with R anyway since it has
Ok, I can work within integers for awhile! I was trying to use the general
form of the geometric progression that may involve fractions, but I can
explore whole numbers more first. I see the "induction_thm" won't work
with R anyway since it has the base case as 0 and SML would expect 0.0
there fo
