| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 7 | logplainabout |
| -rw-r--r-- | Leantest.lean | 151 | logplainabout |
| -rw-r--r-- | Main.lean | 1827 | logplainabout |
| -rw-r--r-- | README.md | 10 | logplainabout |
| -rw-r--r-- | Shorter.lean | 24103 | logplainabout |
| -rw-r--r-- | ac.lean | 1018 | logplainabout |
| -rw-r--r-- | gcd.lean | 240 | logplainabout |
| -rw-r--r-- | lake-manifest.json | 3115 | logplainabout |
| -rw-r--r-- | lakefile.toml | 204 | logplainabout |
| -rw-r--r-- | lambcalc.lean | 593 | logplainabout |
| -rw-r--r-- | lazy.lean | 10518 | logplainabout |
| -rw-r--r-- | lean-toolchain | 28 | logplainabout |
| -rw-r--r-- | monad.lean | 1292 | logplainabout |
| -rw-r--r-- | native-decide.lean | 296 | logplainabout |
| -rw-r--r-- | palin.lean | 286 | logplainabout |
| -rw-r--r-- | sum.lean | 10267 | logplainabout |
| -rw-r--r-- | typedlambcalc.lean | 205 | logplainabout |
 |
index : leantest | |
| Random Lean experiments | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |