Tag: newbies

• Isabelle quick start guide (20 Dec 2024)
  
• The mysteries and frustrations of numerical proofs (25 Jul 2024)
  
• Small examples involving binomial coefficients (22 Mar 2023)
  
• An irrationality proof involving cube roots (08 Feb 2023)
  
• Formalising a new proof that the square root of two is irrational (18 Jan 2023)
  
• Dealing with descriptions in Isabelle/HOL: least, greatest, whatever (08 Jun 2022)
  
• Getting started: basic Isabelle/jEdit tricks (11 May 2022)
  
• Getting started with Isabelle: baby examples, cool proof methods (04 May 2022)
  
• Introductory example: Fibonacci numbers (13 Oct 2021)