Hacker News
- The Great Theorem Prover Showdown https://www.hillelwayne.com/post/theorem-prover-showdown/ 22 comments
Lobsters
- The Great Theorem Prover Showdown https://www.hillelwayne.com/post/theorem-prover-showdown/ 19 comments formalmethods , plt
- The Great Theorem Prover Showdown • Hillel Wayne https://www.hillelwayne.com/post/theorem-prover-showdown/ 42 comments programming
- The Great Theorem Prover Showdown https://www.hillelwayne.com/post/theorem-prover-showdown/ 5 comments coq
- The Great Theorem Prover Showdown https://www.hillelwayne.com/post/theorem-prover-showdown/ 37 comments programming
Linking pages
- Learning to prove theorems via interacting with proof assistants | the morning paper https://blog.acolyer.org/2019/08/23/learning-to-prove-theorems-via-interacting-with-proof-assistants/ 53 comments
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 30 comments
- On Bifunctor IO and Java's Checked Exceptions - Alexandru Nedelcu https://alexn.org/blog/2018/05/06/bifunctor-io.html 26 comments
- Taking on a Challenge in SPARK | The AdaCore Blog https://blog.adacore.com/taking-on-a-challenge-in-spark 5 comments
Linked pages
- Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are Broken – Google AI Blog https://research.googleblog.com/2006/06/extra-extra-read-all-about-it-nearly.html 38 comments
- Semantic Domain: Are functional programs easier to verify than imperative programs? http://semantic-domain.blogspot.com/2018/04/are-functional-programs-easier-to.html 24 comments
- http://rise4fun.com/dafny 21 comments
- GitHub - hwayne/lets-prove-leftpad: Proving leftpad correct two-dozen different ways https://github.com/hwayne/lets-prove-leftpad 16 comments
- http://whiley.org/2018/04/23/verifying-leftpad-in-whiley/ 6 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hillelwayne.com
Search title: The Great Theorem Prover Showdown • Hillel Wayne
See how to search.