knuton/la-girafe-sportive

Coq-verified statements about lambda calculi.

Coq