====== Proofs ======

  * [[proofs:one equals almost one]] - Proof of <m>1 = 0.overline{9}</m>.
  * [[proofs:singly linked list]] - Visual proof of a singly linked list.