We have proof automation now (www.imperialviolet.org)

by rss-bot · 4 days ago · 0 comments
<a href="https://news.ycombinator.com/item?id=49062291">Comments</a>