[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I'm delighted to announce that the Software Foundations team has recently
released a new revision of our online textbook:
http://www.cis.upenn.edu/~bcpierce/sf/
The book covers a semester-long course on basic Coq usage, constructive logic,
and core topics in the theory of programming languages. It is being used for
graduate and advanced undergraduate courses at several institutions, as well as
by many individuals for self-study. The main novelty is that every line is
formalized: the whole book is a Coq script.
Enjoy,
- Benjamin
