| 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-- | gcd.lean | 240 | logplainabout |
| -rw-r--r-- | lake-manifest.json | 3115 | logplainabout |
| -rw-r--r-- | lakefile.toml | 204 | logplainabout |
| -rw-r--r-- | lazy.lean | 10518 | logplainabout |
| -rw-r--r-- | lean-toolchain | 29 | logplainabout |
| -rw-r--r-- | monad.lean | 315 | logplainabout |
| -rw-r--r-- | native-decide.lean | 296 | logplainabout |
 |
index : leantest | |
| Random Lean experiments | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |