Repository navigation

Import continuous-path Markov process development - #473

Merged

Vilin97 merged 43 commits into

mainfrom

codex/import42-markovprocess

Sep 28, 2026

Merged

Import continuous-path Markov process development#473
Vilin97 merged 43 commits into
mainfrom
codex/import42-markovprocess

Commits on Sep 21, 2026
- Import complete markovprocess proof development
  Vilin97
  committed
  c47231c
- Advance markovprocess port to Lean 4.34
  Vilin97
  committed
  6866944
- Complete full source compatibility build for MarkovProcess
  Vilin97
  committed
  8cc92c5
- Complete Markov process import audits and warning cleanup
  Vilin97
  committed
  771190e
Commits on Sep 22, 2026
- Merge remote-tracking branch 'origin/main' into pr-473
  github-actions[bot]
  committed
  5e7ab27
Commits on Sep 23, 2026
- Merge remote-tracking branch 'origin/main' into pr-473
  github-actions[bot]
  committed
  2e410f1
- Merge remote-tracking branch 'origin/main' into pr-473
  github-actions[bot]
  committed
  5ef7057
Commits on Sep 24, 2026
- Merge remote-tracking branch 'origin/main' into pr-473
  github-actions[bot]
  committed
  5d36a8f
Commits on Sep 25, 2026
Commits on Sep 26, 2026
Commits on Sep 27, 2026
Commits on Sep 28, 2026