Changes between Version 14 and Version 15 of WikiStart


Ignore:
Timestamp:
Dec 27, 2012, 3:44:18 PM (12 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v14 v15  
    4646 * [http://www.cis.upenn.edu/~bcpierce/papers/binders.pdf Engineering Formal Metatheory (paper)] [http://www.chargueraud.org/softs/ln/ (proofs)]
    4747 * [http://www.seas.upenn.edu/~plclub/poplmark/ The POPLmark Challenge]
     48 * [http://coq.inria.fr/cocorico/List%20of%20Coq%20PL%20Projects List of Programming Languages Coq projects]
    4849[[br]]
    4950[[br]]