Search results

Define exponentiation with Gödel's beta function

Status: Open.

#24 In lukacslacko/math;

· lukacslacko opened on Jan 8, 2026

Prove that for every number there is a prime larger than it

Status: Open.

#23 In lukacslacko/math;

· lukacslacko opened on Jan 6, 2026

ASCIIfying the formatting is not idempontent

Status: Open.

#19 In lukacslacko/math;

· lukacslacko opened on Jan 6, 2026

Make identifiers with capital letter global?

Status: Open.

#18 In lukacslacko/math;

· lukacslacko opened on Jan 6, 2026

Let try_prove use theorems

Status: Open.

#17 In lukacslacko/math;

· lukacslacko opened on Jan 4, 2026

Implement include

Status: Open.

#13 In lukacslacko/math;

· lukacslacko opened on Dec 28, 2025

Try removing lines one by one

Status: Open.

#8 In lukacslacko/math;

· lukacslacko opened on Dec 27, 2025

Give names to some phrases

Status: Open.

#6 In lukacslacko/math;

· lukacslacko opened on Dec 26, 2025