Theorems now dynamically add givens to list

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

Closed chewisinho closed 8 years ago