Search results

Materialize Equality

Status: Open.

#65 In marcusrossel/lean-egg;

· marcusrossel opened on May 12, 2025

Parallel Calc Blocks

Status: Open.

#64 In marcusrossel/lean-egg;

· marcusrossel opened on Apr 17, 2025

Unit Tests

Status: Open.

#61 In marcusrossel/lean-egg;

· marcusrossel opened on Feb 18, 2025

Type Inference Conditions

Status: Open.

#60 In marcusrossel/lean-egg;

· marcusrossel opened on Feb 11, 2025

Translate simp sets into egg baskets

Status: Open.

#56 In marcusrossel/lean-egg;

· goens opened on Jan 21, 2025

On equations with incompatible sets of pvars

Status: Open.

#53 In marcusrossel/lean-egg;

· memoryleak47 opened on Jan 13, 2025

Find Inconsistent Hypotheses à la Coquetier

low priority

Status: Open.

#40 In marcusrossel/lean-egg;

· marcusrossel opened on Oct 21, 2024

Use <code>LeanApplier</code> for all Rewrites?

Status: Open.

#34 In marcusrossel/lean-egg;

· marcusrossel opened on Sep 30, 2024

E-Node Pruning

low priority

Status: Open.

#33 In marcusrossel/lean-egg;

· marcusrossel opened on Sep 9, 2024

Could Julia help?

low priority

Status: Open.

#18 In marcusrossel/lean-egg;

· 0x0f0f0f opened on Feb 16, 2024

E-Graph Visualization

low priority

Status: Open.

#6 In marcusrossel/lean-egg;

· marcusrossel opened on Jan 21, 2024