# Tag: newbies

- 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)