Repository navigation

Fix some style issues - #18

Merged

voiestad merged 3 commits into

mainfrom

Oct 24, 2025

Merged

Fix some style issues#18
voiestad merged 3 commits into
mainfrom
style

Commits on Oct 23, 2025
- Fix some style issues
  aria-eide
  committed
  304f433
Commits on Oct 24, 2025
- Merge branch 'main' into style
  voiestad
  committed
  19cd36d
- Move theorem from unproven to proven
  voiestad
  committed
  88d2958