Repository navigation

Write the base-2 entropy, cross-entropy and divergence with their macros - #108

Open

d-morrison wants to merge 6 commits into

mainfrom

claude/base-two-entropy

Open

Write the base-2 entropy, cross-entropy and divergence with their macros#108
d-morrison wants to merge 6 commits into
mainfrom
claude/base-two-entropy

Commits on Nov 8, 2026
- Write the base-2 entropy, cross-entropy and divergence with their macros
  claude
  committed
  92b20c5
- Link the terms the term-link check finds on the edited lines
  claude
  committed
  c157ae1
- Merge main into the base-2 entropy branch
  claude
  committed
  3747d44
- Break the changed lines at clause boundaries
  claude
  committed
  eeb5cec
- Merge remote-tracking branch 'origin/main' into claude/base-two-entropy
  claude
  committed
  622280b
- Break the merged line in the wrong-code proof at its clause boundary
  claude
  committed
  8ed2598