Prototype Please take a look at our prototype here: https://metatree.xyz/treeprover/ References We used glyphicons (CC BY 3.0) and Pure.CSS (BSD). Note: Only the remove.png is a glyphicon.