Formal proofs of some facts about untyped lambda calculus written in Coq. Created during Semantics of Programming Languages course at SPbSU.
artemmukhin / lambdacalculuscoq Goto Github PK
View Code? Open in Web Editor NEWFormal proofs of some facts about untyped lambda calculus in Coq