hwayne/lets-prove-leftpad

This is stars and forks stats for /hwayne/lets-prove-leftpad repository. As of 26 Apr, 2024 this repository has 580 stars and 56 forks.

Let's Prove Leftpad This is a repository of provably-correct versions of Leftpad. You can read more about the project's motivations and history here. What is "provably-correct"? Provably correct code is code that you can totally guarantee does what you say it does. You do this by providing a proof that a computer can check. If the proof is wrong, the code won't compile. Compare to something like testing: even if you test your function for 1,000 different inputs, you still don't know for sure that...