Tag:programming

All the articles with the tag "programming".

• Mathematical Induction

  19 Sep, 2026

  An introduction to mathematical induction using Lean.

• On software verification

  6 Sep, 2026

  My first attempt at understanding and getting my hands on software verification with Lean. An admittedly circular example.

• How likely are you to beat the Raven?

  7 Jun, 2026

  Estimating the probability of winning Haba's First Orchard game.

• Magic Squares and Cubes

  13 Dec, 2025

  A collection of algorithms, including a vectorized version of Kociemba's two-phase algorithm, for solving Rubik's cubes.