Repository navigation

Add formal learning theory kernel - #28

Merged

Vilin97 merged 4 commits into

mainfrom

codex/formal-learning-theory-pr36

May 10, 2026

Merged

Add formal learning theory kernel#28
Vilin97 merged 4 commits into
mainfrom
codex/formal-learning-theory-pr36

Commits on May 10, 2026
- Add formal learning theory kernel
  Vilin97
  committed
  7fb8bd5
- Refactor long proofs for deterministic quality
  Vilin97
  committed
  ffbd231
- Merge main into formal learning theory PR
  Vilin97
  committed
  4391679
- Clean formal learning theory public API
  Vilin97
  committed
  5801b9f