«
»

POPL Coq tutorial

The Penn PL Club is presenting a Coq tutorial at POPL 2008. It covers Coq basics, the simply-typed lambda calculus, and System F<:. If you can’t attend, you can download the code, which is intended to be self-contained and looks quite clear.

This entry was posted on Monday, January 7th, 2008 at 4:53 pm and is filed under Theorem provers. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

One Response to “POPL Coq tutorial”

  1. Robby Jahoda Says:
    September 2nd, 2010 at 8:24 am

    Just about the most helpful plus informed information and facts I discovered on this subject matter. Indeed delighted that I stumbled on your site by chance. I’ll be subscribing to the rss feed so I will receive the latest updates. Enjoy all the stuff here.

Leave a Reply