Giters

jgrosso / coq-alpha-pearl

Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqalpha-equivalencecoq-formalizationprogramming-languages

coq-alpha-pearl

This is a Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002). Please see README.pdf for more detail.

About

Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).

coqalpha-equivalencecoq-formalizationprogramming-languages

License:MIT License

Languages

Language:Coq 93.1%Language:Makefile 6.8%Language:Shell 0.0%