Repository navigation

docs(profile): list Ratchet and its admission predicate - #6

Merged

astrogilda merged 3 commits into

mainfrom

docs/list-ratchet

Oct 12, 2026

Merged

docs(profile): list Ratchet and its admission predicate#6
astrogilda merged 3 commits into
mainfrom
docs/list-ratchet

Commits on Oct 11, 2026
- docs(profile): list Ratchet and its admission predicate
  astrogilda
  committed
  6a04bf9
- docs(profile): name Ratchet without linking its unpublished repository
  astrogilda
  committed
  83fcb4d
Commits on Oct 12, 2026
- docs(profile): link the public Ratchet repository and its install pin
  astrogilda
  committed
  ea1a05d