注册
登录
精益
alpha-conversion-is-easy
返回
项目作者:
spl
项目描述 :
α转换的精益证明很容易
高级语言:
Lean
项目主页:
项目地址:
git://github.com/spl/alpha-conversion-is-easy.git
创建时间:
2016-02-20T20:46:03Z
项目社区:
https://github.com/spl/alpha-conversion-is-easy
开源协议:
下载