Software Foundations A repository I use to put code as I follow along the books in the Software Foundations series. Other resources Software Foundations' homepage YouTube playlist on Software Foundations in Coq Lectures of 2018 Lectures of 2017