gitlab.com topics: alpha equivalence
frekdote/alpha-equivalence
A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
Related Keywords
A formalization of Simply Typed Lambda Calculus with α-equivalence using Coq
Last synced at: over 2 years ago - Stars: 1 - Forks: 0