samikshro / software-foundations-solution

Studying Coq with the Software Foundations series 📕📗📘📙

Software Foundations Solution

Now, I'm studying Coq by this...

process:

1. Read the contents at this site.
2. Solve the exercises.
3. Commit my solution.