Search results

Ensure that all <code>_</code> terms are solved

Status: Open.

#25 In kontheocharis/superfluid;

· kontheocharis opened on Oct 10, 2024

Allow manually setting rig!=1 for types (in parsing/elaboration)

Status: Open.

#23 In kontheocharis/superfluid;

· kontheocharis opened on Oct 9, 2024

Add support for all |Qty|^2 sigma types in QTT

Status: Open.

#21 In kontheocharis/superfluid;

· kontheocharis opened on Oct 9, 2024

Add test suite

Status: Open.

#17 In kontheocharis/superfluid;

· kontheocharis opened on Aug 30, 2024

Evaluation mode that just replaces metas

Status: Open.

#15 In kontheocharis/superfluid;

· kontheocharis opened on Aug 28, 2024

Investigate potential infinite loop issues when adding and solving problems

Status: Open.

#14 In kontheocharis/superfluid;

· kontheocharis opened on Aug 28, 2024

Properly expand case trees

Status: Open.

#9 In kontheocharis/superfluid;

· kontheocharis opened on Jun 25, 2024

Add staging

Status: Open.

#7 In kontheocharis/superfluid;

· kontheocharis opened on Jun 7, 2024