view staging/ex/index.html @ 561:c800306b0e32

Two more users
author Adam Chlipala <>
date Fri, 10 Nov 2017 19:02:44 -0500
parents c8a3cb24bae9
line wrap: on
line source
<link rel="stylesheet" type="text/css" href="/style.css">
<title>Certified Programming with Dependent Types Exercises</title>
<h1><a href="..">Certified Programming with Dependent Types</a> Exercises</h1>

<div class="summary">
<p>Here lies an attempt to crowdsource the production of exercises for CPDT.</p>

<div class="project">
<h2>Exercises Written for CPDT</h2>
<li> <a href="exercises.pdf">Snapshot of exercises that were included in CPDT when I decided to stop maintaining exercises</a> (<a href="">Adam Chlipala</a>)</li>
<li> <a href="">Homeworks from CIS 670 at Penn in Fall 2012</a> (<a href="">Benjamin Pierce</a> and students in the class)</li>

<div class="project">
<h2>Other Exercises</h2>
<li> <a href="">Coq'Art exercises</a> (<a href="">Yves Bertot</a> and <a href="">Pierre Cast&eacute;ran</a>)</li>