A

alpha-equivalence

Project information

A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq

lambda calculus alpha equiva... formal proof Coq

3 Commits
1 Branch
0 Tags

README

Created on

February 22, 2022

Loading