tabareau/Forcing — pull request #2 by tabareau (2012-02-17 09:28:38+00:00)
Title: commit 16 jan

...echecking time very much).

- Start a modified version of Coq's typechecker implementing proof-irrelevance.