TreeProver: An interactive propositional theorem prover that unifies terms while you click.
JavaScript CSS HTML
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
css
img
js
purecss
README.md
icon.png
index.html

README.md

Prototype

Please take a look at our prototype here: http://metatree.xyz/treeprover/

References

We used glyphicons (CC BY 3.0) and Pure.CSS (BSD). Note: Only the remove.png is a glyphicon.