Machine Logic
At the junction of computation, logic and mathematics
Tag: Fibonacci
Small examples involving binomial coefficients
(22 Mar 2023)
More on Fibonacci numbers, with equational reasoning
(20 Oct 2021)
Introductory example: Fibonacci numbers
(13 Oct 2021)