We have proof automation nowimperialviolet.org
188 points by zdw 16 hours ago | 72 comments