Skip to content

Markov tree descent extension - #2

Merged
qazW12345 merged 4 commits into
mainfrom
submission/markov-tree-descent
Sep 21, 2026
Merged

qazW12345 merged 4 commits into
mainfrom
submission/markov-tree-descent

Remove unavailable Omega import from Markov descent proof

ca6a1c3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
python
succeeded Sep 13, 2026 in 10s