/software-foundations

Examples and Exercises From Software Foundations

Primary LanguageCoq

Software Foundations

This repository contains the examples and exercises I completed while reading the Software Foundation series.

Logical Foundations

  • Functional Programming in Coq

    • Basics.v

  • Proof by Induction

    • Induction.v

Building the project

To generate the Makefile, used to build the project, run the following from each subdirectory.

coq_makefile -f _CoqProject *.v -o Makefile