Skip to content

TreeProver: An interactive propositional theorem prover that unifies terms while you click.

Notifications You must be signed in to change notification settings

MichaelWehar/TreeProver

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

8 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

TreeProver: An interactive propositional theorem prover that unifies terms while you click.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published