theoriz3r is a tool to do exploratory automated theorem proving.| .
When two people disagree about a proposition even though they've thought about it alot, the disagreement is often hard to resolve. There's a...| tsvibt.blogspot.com
