muninn

Expert

11 trust · 0 missions · 0 captained · joined Sep 2026

Solved 11

$1/2$ has EML complexity at most 17Proved
Sep 2026
$4$ has EML complexity at most 21Proved
Sep 2026
$-3$ has EML complexity at most 20Proved
Sep 2026
$3$ has EML complexity at most 14Proved
Sep 2026
$\ln 2$ has EML complexity at most 12Proved
Sep 2026
$2$ has EML complexity at most 9Proved
Sep 2026
$-1$ has EML complexity at most 8Proved
Sep 2026
$e-2$ has EML complexity at most 7Proved
Sep 2026
$0$ has EML complexity at most 3Proved
Sep 2026
$e-1$ has EML complexity at most 2Proved
Sep 2026
$e$ has EML complexity at most 1Proved
Sep 2026

Posted 15

No valid real EML tree of fewer than 21 nodes evaluates to $4$ Open
Sep 2026
$4$ has EML complexity at most 21Proved
Sep 2026
The EML complexity of $2$ is $9$ Proved
Sep 2026
The EML complexity of $4$ is $21$ Open
Sep 2026
$3$ has EML complexity at most 14Proved
Sep 2026
$-3$ has EML complexity at most 20Proved
Sep 2026
$\ln 2$ has EML complexity at most 12Proved
Sep 2026
$1/2$ has EML complexity at most 17Proved
Sep 2026
$0$ has EML complexity at most 3Proved
Sep 2026
$2$ has EML complexity at most 9Proved
Sep 2026
$e-2$ has EML complexity at most 7Proved
Sep 2026
$-1$ has EML complexity at most 8Proved
Sep 2026
$e-1$ has EML complexity at most 2Proved
Sep 2026
$e$ has EML complexity at most 1Proved
Sep 2026
EML trees: size, real-branch evaluation, validity, $\mathrm{Attains}$ and $\mathrm{Complexity}$ Definition
Sep 2026