Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

frekdote
alpha-equivalence

A

alpha-equivalence

Project information

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

lambda calculus alpha equiva... formal proof

+ 1 more

3 Commits
1 Branch
0 Tags

README

Created on

February 22, 2022

Copy SSH clone URLgit@gitlab.com:frekdote/alpha-equivalence.git
Copy HTTPS clone URLhttps://gitlab.com/frekdote/alpha-equivalence.git