Archive

beware: this website is 🏗️️ 🚧 under construction!! 🚧 🏗️️

Posts

• Writing Technical Posts in Lean
  Lua

  2025-07-12

  • Examples of Verso usage
  • Other content

  Hello! This was generated from the Verso templates.

  def fib : Nat → Nat | 0 => 0 | 1 => 1 | n + 2 => fib n + fib (n + 1)

  As expected, it maps natural numbers to natural numbers:

  fib : Nat → Nat#check fib

  fib : Nat → Nat

  The answers are as expected:

  55#eval fib 10

  55

  610#eval fib 15

  610

  Read more