Repository navigation

Set up documentation - #40

Merged

lkdvos merged 5 commits into

mainfrom

May 26, 2026

Merged

Set up documentation#40
lkdvos merged 5 commits into
mainfrom
ld/docs

Commits on May 26, 2026
- Set up documentation
  lkdvos
  committed
  4ff466f
- Apply suggestions from code review
  
  lkdvos
  and
  Jutho
  committed
  d8ed2c8
- remove obsolete code in runtests
  lkdvos
  committed
  e6e05d7
- small rewording
  lkdvos
  committed
  277963f
- Update docs/src/man/motivation.md
  
  lkdvos
  and
  Jutho
  authored
  3070e62