Exploring Adam Chlipala's Interactive Computer Theory Proving.
This repository contains the supplied project files and lectures in the course and my personal made notes that can be found in /notes directory.
My attempt at solving
the given homework can be found at /homework directory.