Accepting submissions
Not accepting submissions
|
SK
Saachi Kaup Chess Problems (and Provers) In LeanLean is a functional language used not just for writing programs but proving that they are correct.So what does it mean to “prove” something is correct exactly. Verification is the fourth step of a coming up with a solution. It means that can you prove that the solution you have come up works “reasonably” well. more
|
|
IB
Ishan Bhanuka Discrete Optimization Fun 🍕Are you tired of DSA? Has Leetcode sapped your joy? more
|
Hosted by
The homepage for the Indian Functional Programming community