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