Search results

Test Multiple Arguments in Predicates

criticalFix asapFix asap

good first issueGood for newcomersGood for newcomers

testingtesting issue/improvementtesting issue/improvement

Status: Open.

#58 In Girjoaba/Eunomia;

· Girjoaba opened on Sep 5, 2023

Implement Caching of the Last Saving/Loading Path

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#50 In Girjoaba/Eunomia;

· Girjoaba opened on Aug 3, 2023

Add Customizable Shortcuts for the Proof Characters

enhancementNew feature or requestNew feature or request

UI remakeA part of the UI could use a remakeA part of the UI could use a remake

Status: Open.

#48 In Girjoaba/Eunomia;

· Girjoaba opened on Aug 3, 2023

Information Panels Tab Extend Infinitely

bugSomething isn't workingSomething isn't working

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

UI remakeA part of the UI could use a remakeA part of the UI could use a remake

Status: Open.

#47 In Girjoaba/Eunomia;

· Girjoaba opened on Aug 3, 2023

Test Disjunction Negatives

good first issueGood for newcomersGood for newcomers

testingtesting issue/improvementtesting issue/improvement

Status: Open.

#43 In Girjoaba/Eunomia;

· Girjoaba opened on Jul 27, 2023

Test Conjunction Negatives

good first issueGood for newcomersGood for newcomers

testingtesting issue/improvementtesting issue/improvement

Status: Open.

#42 In Girjoaba/Eunomia;

· Girjoaba opened on Jul 27, 2023

Test Negation Negatives

good first issueGood for newcomersGood for newcomers

testingtesting issue/improvementtesting issue/improvement

Status: Open.

#41 In Girjoaba/Eunomia;

· Girjoaba opened on Jul 27, 2023

Fix SyntaxError Red Line

enhancementNew feature or requestNew feature or request

UI remakeA part of the UI could use a remakeA part of the UI could use a remake

Status: Open.

#40 In Girjoaba/Eunomia;

· Girjoaba opened on Jul 27, 2023