This repo contains my solutions for problems from Software Foundatations (https://softwarefoundations.cis.upenn.edu). It's a course that teaches the fundamentals of proofs and logic using the Coq proof assistent. So far I have solved. - Basics - Induction - Lists - Polymorphism and Higher Order Functions