Pinned Loading

1. lambda2 lambda2 Public

   An implementation of Lambda2 in Coq.

   Coq

2. weak-omega weak-omega Public

   An implementation of lambda weak omega in Coq, with report.

   Coq 3

3. act-project act-project Public

   A (hastily-written) interpreter for the simple program described in Computability, Complexity and Languages, M. Davis, R. Segal, E. Weyuker, 2nd Edition, taught in Advanced Computability Theory cou…

   Python 1

4. cpl cpl Public

   An implementation of natural deduction for Classical Propositional Logic.

   Coq 1