/lambdak-coq

Primary LanguageMakefile

Equivalence of Smallstep Lambda Definition and K Lambda Definition