Search results

test-pari fails for A131083

Status: Open.

Bug

#636 In loda-lang/loda-cpp;

· ckrause opened on Dec 13, 2025

Multi-line PARI formulas

Status: Open.

Task

#581 In loda-lang/loda-cpp;

· ckrause opened on Nov 5, 2025

Metaprogramming module

Status: Open.

Task

#556 In loda-lang/loda-cpp;

· ckrause opened on Oct 26, 2025

Support "nrt" operation in LEAN formula generation

Status: Open.

Feature

#553 In loda-lang/loda-cpp;

· ckrause opened on Oct 24, 2025

Support binomial in LEAN formula generation

Status: Open.

Feature

#550 In loda-lang/loda-cpp;

· ckrause opened on Oct 24, 2025

Build with PGO

good first issueGood for newcomersGood for newcomers

performance

Status: Open.

#548 In loda-lang/loda-cpp;

· helpau opened on Oct 20, 2025

Formula Parser round-trip test fails for A000111

Status: Open.

Bug

#545 In loda-lang/loda-cpp;

· ckrause opened on Oct 19, 2025

Provide a functionality for program search on a single user provided sequence.

Status: Open.

Feature

#437 In loda-lang/loda-cpp;

· weightan opened on Aug 9, 2025

Officially support <code>maintain</code> command

Status: Open.

Feature

#406 In loda-lang/loda-cpp;

· ckrause opened on Jun 10, 2025

Improve performance of stats generation

enhancementImprovement that is not a featureImprovement that is not a feature

performance

Status: Open.

Task

#398 In loda-lang/loda-cpp;

· ckrause opened on Jun 4, 2025

Update formula after unfold

enhancementImprovement that is not a featureImprovement that is not a feature

Status: Open.

#374 In loda-lang/loda-cpp;

· ckrause opened on Feb 8, 2025

Support formula generation of A379577

enhancementImprovement that is not a featureImprovement that is not a feature

Status: Open.

#366 In loda-lang/loda-cpp;

· ckrause opened on Jan 2, 2025