Repository navigation

formalization.yaml: edit - #3

Merged

Sidharth Hariharan (thefundamentaltheor3m) merged 2 commits into

mainfrom

formalization-yaml-sources-note

Aug 17, 2026

Merged

formalization.yaml: edit#3
Sidharth Hariharan (thefundamentaltheor3m) merged 2 commits into
mainfrom
formalization-yaml-sources-note

Commits on Aug 17, 2026
- data: edit formalization.yaml
  Sidharth Hariharan (thefundamentaltheor3m)
  committed
  4c530fa
- change relationship to `formalizes`
  Sidharth Hariharan (thefundamentaltheor3m)
  committed
  fe1fe02