Lobsters
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 25 comments formalmethods , show
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 5 comments programminglanguages
Linking pages
Linked pages
- ATS-PL-SYS http://www.ats-lang.org/ 176 comments
- The Great Theorem Prover Showdown • Hillel Wayne https://www.hillelwayne.com/post/theorem-prover-showdown/ 125 comments
- How one programmer broke the internet by deleting a tiny piece of code https://qz.com/646467/how-one-programmer-broke-the-internet-by-deleting-a-tiny-piece-of-code/ 93 comments
- CakeML https://cakeml.org/ 68 comments
- GitHub - dafny-lang/dafny: Dafny is a verification-aware programming language https://github.com/dafny-lang/dafny 61 comments
- Lean http://leanprover.github.io 46 comments
- Whiley http://whiley.org/ 32 comments
- GitHub - hwayne/lets-prove-leftpad: Proving leftpad correct two-dozen different ways https://github.com/hwayne/lets-prove-leftpad 16 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:www.hillelwayne.com
Search title: Let's Prove Leftpad
See how to search.