Skip to content

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

change relationship to `formalizes`

fe1fe02
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar