docs(vrs): add source-linked language index - #68

Merged

myobie merged 3 commits into

mainfrom

agent/thin-source-linked-ontology

Jul 31, 2026

Commits on Jul 29, 2026

docs(vrs): add source-linked language index
myobie
committed
e690cb1

Commits on Jul 31, 2026

Merge remote-tracking branch 'origin/main' into agent/thin-source-linked-ontology
myobie
committed
1508950
docs(vrs): refresh ontology proof links
myobie
committed
d6b4571