PROP 2026

  1. Motivation
  2. Living notes on HedgeDoc