issues
search
chewisinho
/
proof-builder
Interactive proof builder written in HTML/CSS and JavaScript. Won Best Education Hack at HackTech 2016.
http://devpost.com/software/proof-builder
2
stars
1
forks
source link
Organized files into directories for refactoring, and more!
#35
Closed
pencels
closed
8 years ago
pencels
commented
8 years ago
Made
Logic/
and
Graphics/
directories to separate implementation from interface.
Directories for refactored code: Objects, Properties, and Theorems are in the
Logic/
directory, and old code is placed in the
Logic/_old/
directory.
Standardized the way theorems communicate their inputs through the
requires
field.
New
ProofState
and
ObjectDB
objects handle the properties and objects of each proof. Makes for easy saving and coding.
Logic/andGraphics/directories to separate implementation from interface.Logic/directory, and old code is placed in theLogic/_old/directory.requiresfield.ProofStateandObjectDBobjects handle the properties and objects of each proof. Makes for easy saving and coding.