Tag: recursion

• Coinductive puzzle, by Jasmin Blanchette and Dmitriy Traytel (08 Nov 2023)
  
• Small examples involving binomial coefficients (22 Mar 2023)
  
• Proving termination with multiset orderings (26 Oct 2022)
  
• Ackermann's function is not primitive recursive, I (31 Aug 2022)
  
• Fun with Ackermann's function (09 Feb 2022)
  
• Introductory example: Fibonacci numbers (13 Oct 2021)