Tag: Fibonacci

• Computing huge Fibonacci numbers, by proof and by code (06 Jan 2025)
  
• Isabelle quick start guide (20 Dec 2024)
  
• 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)