#lean

• Bug Report: DIVW Inline Sequence Incompleteness
  Ari 2026-04-28
• Chain Proving: A Strategy To Deal With Monadic Monstrosity
  Ari 2026-04-23
• Register Operation Helpers
  Ari 2026-04-14
• The Proof
  Ari 2026-04-13
• The Theorem Statement
  Ari 2026-04-13
• Modelling the CPU State
  Ari 2026-04-11
• Monads in FP in Lean
  Ari 2026-03-23
• Monads: What Is?
  Ari 2026-03-22