GitHub repository: spl/alpha-conversion-is-easy
Primary language: Lean
Created: 2016-02-20T20:46:04Z
Description: Lean proof of alpha-conversion is easy