The Great Theorem Prover Showdown

Article URL: https://www.hillelwayne.com/post/theorem-prover-showdown/

Comments URL: https://news.ycombinator.com/item?id=16927790

Points: 42

# Comments: 3

from Hacker News: Front Page https://ift.tt/2qZ4hHn
via