Functional Programming Meetup

The topic for this month will be Coq, a programming language and proof assistant.

We will do the first examples of Pierce' Software Foundations (https://softwarefoundations.cis.upenn.edu/current/lf-current/).