This repository includes work for a Software Foundations class that involved programming in the COQ programming language.