No description, website, or topics provided.
Coq
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
Basics.v
Gen.v
Lists.v
Poly.v
README.md

README.md

This is my solutions to Software Foundations. The answers are embedded in the downloadable Coq files provided by that website, which I do not claim any copyright over. If you're working on these problems please do yourself a favor and don't spoil the answers for yourself.