Repository navigation

Release preparation for v4.0.0 - #45

Merged

fariedabuzaid merged 9 commits into

devfrom

release-v4-prep

Aug 13, 2026

Merged

Release preparation for v4.0.0#45
fariedabuzaid merged 9 commits into
devfrom
release-v4-prep

Commits on Aug 13, 2026
- Every structure declares its own vocabulary; dissolve `buildin`
  
  fariedabuzaid
  and
  claude
  committed
  3a2e0e1
- Notebooks: sets as sets, and a formula that says what its label claims
  
  fariedabuzaid
  and
  claude
  committed
  dec437a
- Interpretations, and three bugs that writing the notebook found
  
  fariedabuzaid
  and
  claude
  committed
  e291b40
- Notebooks: the atomless Boolean algebra, and MSO without the paren soup
  
  fariedabuzaid
  and
  claude
  committed
  5a74b35
- v4.0.0: the changelog moves to a file of its own
  
  fariedabuzaid
  and
  claude
  committed
  af1b5a4
- Regenerate the history animation through v4.0.0
  
  fariedabuzaid
  and
  claude
  committed
  0e89e50
- Serialization for the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  c91796a
- References: four in the README, all of them in the documentation
  
  fariedabuzaid
  and
  claude
  committed
  a4987f7
- Look up the references I could not verify offline
  
  fariedabuzaid
  and
  claude
  committed
  58bf5e4