Search results

[submission] dirichlet_eigenvalues_eq_nat_sq via Aristotle (Harmonic)

submissionBenchmark submission issue that triggers the submission workflowBenchmark submission issue that triggers the submission workflow

Status: Open.

#100 In leanprover/lean-eval;

· kim-em opened on May 2, 2026

[submission] exists_nonisotopic_link via Aristotle (Harmonic)

submissionBenchmark submission issue that triggers the submission workflowBenchmark submission issue that triggers the submission workflow

Status: Open.

#98 In leanprover/lean-eval;

· kim-em opened on May 2, 2026

[submission] exists_nonisotopic_knots via Aristotle (Harmonic)

submissionBenchmark submission issue that triggers the submission workflowBenchmark submission issue that triggers the submission workflow

Status: Open.

#97 In leanprover/lean-eval;

· kim-em opened on May 2, 2026

[submission] Perron-Frobenius for irreducible nonnegative matrices

submissionBenchmark submission issue that triggers the submission workflowBenchmark submission issue that triggers the submission workflow

Status: Open.

#88 In leanprover/lean-eval;

· or4nge19 opened on May 2, 2026

[submission] gleason_theorem_separable via Aristotle (Harmonic)

submissionBenchmark submission issue that triggers the submission workflowBenchmark submission issue that triggers the submission workflow

Status: Open.

#87 In leanprover/lean-eval;

· kim-em opened on May 2, 2026

[submission] gleason_theorem_finite via Aristotle (Harmonic)

submissionBenchmark submission issue that triggers the submission workflowBenchmark submission issue that triggers the submission workflow

Status: Open.

#86 In leanprover/lean-eval;

· kim-em opened on May 2, 2026