• Description
• Lessons
  1. Getting Started
• Members
• Forum

Description

There is a choice of courses on-line I have been working through, and will probably use as the base of the course - Pierce's course These are two other courses I haven't really looked at Adam Chlipala's course Andrew W. Appel course It has something about extracting programs which I would like to cover.

Prerequisites and Difficulty

*Functional Programming

*Predicate Calculus

*Lambda Calculus will help as well

Materials and Technical Requirements

Adam Chlipala's book

Coq in a hurry

How Curious Reef Works

The purpose of the class is to learn collaboratively with others.
The course creator has organized the course information for everyone.

• Complete one lesson and its assignments per week
• Submit and self-grade your own work
• Help each other in the class forum

License