Search results

Redesign interface

enhancement

Status: Open.

#37 In chewisinho/proof-builder;

· pencels opened on Apr 25, 2016

·  

Add interactive canvas graphics.

Standardize and carry out documentation on existing/future .js files

cleanup

Status: Open.

#36 In chewisinho/proof-builder;

· pencels opened on Apr 25, 2016

Know Column Repeats Information

bug

Status: Open.

#34 In chewisinho/proof-builder;

· liznguyen12 opened on Mar 1, 2016

Fix popping up of save complete alert.

bug

Status: Open.

#33 In chewisinho/proof-builder;

· pencels opened on Feb 28, 2016

External storage system

enhancement

Status: Open.

#25 In chewisinho/proof-builder;

· chewisinho opened on Feb 28, 2016

Implement additional objects

enhancement

Status: Open.

#24 In chewisinho/proof-builder;

· chewisinho opened on Feb 28, 2016

Theorem organization system

cleanup

Status: Open.

#23 In chewisinho/proof-builder;

· chewisinho opened on Feb 28, 2016

Allow users to create and prove their own theorems

enhancement

Status: Open.

#22 In chewisinho/proof-builder;

· chewisinho opened on Feb 28, 2016

Graphically display problems

enhancement

Status: Open.

#20 In chewisinho/proof-builder;

· chewisinho opened on Feb 28, 2016

·  

Add interactive canvas graphics.

Reorganize project

cleanup

Status: Open.

#18 In chewisinho/proof-builder;

· chewisinho opened on Feb 28, 2016

Rename 'Given' to 'Fact'

cleanup

Status: Open.

#17 In chewisinho/proof-builder;

· chewisinho opened on Feb 28, 2016