/la-girafe-sportive

Coq-verified statements about lambda calculi.

No issues in this repository yet.