Repository navigation

Keep EquivalentTo axioms and pair text changes (#2) - #4

Merged

ubyndr merged 3 commits into

mainfrom

issue-2-equivalent-to-and-ref-deltas

Sep 28, 2026

Merged

Keep EquivalentTo axioms and pair text changes (#2)#4
ubyndr merged 3 commits into
mainfrom
issue-2-equivalent-to-and-ref-deltas

Commits on Sep 4, 2026
- feat(stage1): keep EquivalentTo axioms and pair text changes (#2)
  
  ubyndr
  and
  claude
  committed
  76de11b
Commits on Sep 8, 2026
- feat(stage1): read definition refs from head state for logical definitions
  
  ubyndr
  and
  claude
  committed
  3b4d421
- chore: record the cell-ontology#3717 review output
  
  ubyndr
  and
  claude
  committed
  a44f731