Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Welcome to the Prooftoys wiki!
Please see the other documents in the wiki for information about Prooftoys. A table of contents is to your right.
Or visit http://prooftoys.org to try it out.