-
Notifications
You must be signed in to change notification settings - Fork 24
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#49 In kovzol/Java-Geometry-Expert;
GDD prover generates a non-DAG proof
bugSomething isn't workingSomething isn't workingStatus: Open.#47 In kovzol/Java-Geometry-Expert;- Status: Open.#42 In kovzol/Java-Geometry-Expert;
- Status: Open.#38 In kovzol/Java-Geometry-Expert;
Request to Add Support for User-Customizable Rules in Ruleset
enhancementNew feature or requestNew feature or requestStatus: Open.#37 In kovzol/Java-Geometry-Expert;Not able to prove Pappus theorem
questionFurther information is requestedFurther information is requestedStatus: Open.#36 In kovzol/Java-Geometry-Expert;- Status: Open.#35 In kovzol/Java-Geometry-Expert;
- Status: Open.#34 In kovzol/Java-Geometry-Expert;
- Status: Open.#33 In kovzol/Java-Geometry-Expert;
Construction protocol description steps are saved in the .gex file and cannot be changed
enhancementNew feature or requestNew feature or requestStatus: Open.#30 In kovzol/Java-Geometry-Expert;- Status: Open.#29 In kovzol/Java-Geometry-Expert;
Disallow ENTER in object names
bugSomething isn't workingSomething isn't workingStatus: Open.#28 In kovzol/Java-Geometry-Expert;