Mercurial > cpdt > repo

comparison staging/ex/index.html @ 490:c8a3cb24bae9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Coq'Art exercises
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Jan 2013 16:20:01 -0500
parents a95af5a59990
children
comparison
equal deleted inserted replaced
489:a95af5a59990 490:c8a3cb24bae9
8 <div class="summary"> 8 <div class="summary">
9 <p>Here lies an attempt to crowdsource the production of exercises for CPDT.</p> 9 <p>Here lies an attempt to crowdsource the production of exercises for CPDT.</p>
10 </div> 10 </div>
11 11
12 <div class="project"> 12 <div class="project">
13 <h2>Suggested Exercises</h2> 13 <h2>Exercises Written for CPDT</h2>
14 <ul> 14 <ul>
15 <li> <a href="exercises.pdf">Snapshot of exercises that were included in CPDT when I decided to stop maintaining exercises</a> (<a href="http://adam.chlipala.net/">Adam Chlipala</a>)</li> 15 <li> <a href="exercises.pdf">Snapshot of exercises that were included in CPDT when I decided to stop maintaining exercises</a> (<a href="http://adam.chlipala.net/">Adam Chlipala</a>)</li>
16 <li> <a href="http://www.cis.upenn.edu/~bcpierce/courses/670Fall12/">Homeworks from CIS 670 at Penn in Fall 2012</a> (<a href="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</a> and students in the class)</li> 16 <li> <a href="http://www.cis.upenn.edu/~bcpierce/courses/670Fall12/">Homeworks from CIS 670 at Penn in Fall 2012</a> (<a href="http://www.cis.upenn.edu/~bcpierce/">Benjamin Pierce</a> and students in the class)</li>
17 </ul> 17 </ul>
18 </div> 18 </div>
19 19
20 <div class="project">
21 <h2>Other Exercises</h2>
22 <ul>
23 <li> <a href="http://www.labri.fr/perso/casteran/CoqArt/contents.html">Coq'Art exercises</a> (<a href="http://www-sop.inria.fr/lemme/Yves.Bertot/index.html">Yves Bertot</a> and <a href="http://www.labri.fr/Perso/~casteran/index.html">Pierre Cast&eacute;ran</a>)</li>
24 </ul>
25 </div>
26
20 </body></html> 27 </body></html>