![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Introduction to Lambda Calculus/ | 2018-02-17 21:38 | - | |
![]() | _target/ | 2017-11-08 08:59 | - | |
![]() | leanpkg.path | 2017-11-13 08:45 | 56 | |
![]() | leanpkg.toml | 2018-02-17 21:38 | 154 | |
![]() | lc.ml | 2018-02-17 21:38 | 4.7K | |
![]() | lambda_calc.lean | 2018-02-17 21:38 | 12K | |