alpha-conversion-is-easy. Lean proof of alpha-conversion is easy

github.com/spl/alpha-conversion-is-easy

by

@spl

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.