emsenn's digital garden Homepage | Index

This Website was cultivated as a public asset with support from people like you. Thank you!

Click this sentence for information about my Website.

Click each sentence below for more info:

  • This website was created by Emacs and Org-mode

    See my Emacs configuration to learn how.

  • Its content was written by hand.

    This means there might be mistakes!

  • It uses style to add information to the pages.
    • Click this sentence to see how links are styled:
      Color Link type
      Sample Unvisited local resource
      Sample Visited local resource
      Sample Unvisited external resource
      Sample Visited external resource

proof

A proof is a demonstration of a mechanism for a phenomenon that is valid within the code of the mechanism.

Backlinks

Created: 2025-10-05 Sun 17:40