| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 7 | logplainabout |
| -rw-r--r-- | BadAppleCheat.lean | 693 | logplainabout |
| -rw-r--r-- | Leanime.lean | 6328 | logplainabout |
| -rw-r--r-- | Main.lean | 94 | logplainabout |
| -rw-r--r-- | Main1.lean | 78 | logplainabout |
| -rw-r--r-- | Main10.lean | 78 | logplainabout |
| -rw-r--r-- | Main11.lean | 78 | logplainabout |
| -rw-r--r-- | Main12.lean | 78 | logplainabout |
| -rw-r--r-- | Main13.lean | 78 | logplainabout |
| -rw-r--r-- | Main14.lean | 78 | logplainabout |
| -rw-r--r-- | Main15.lean | 78 | logplainabout |
| -rw-r--r-- | Main16.lean | 78 | logplainabout |
| -rw-r--r-- | Main2.lean | 78 | logplainabout |
| -rw-r--r-- | Main3.lean | 78 | logplainabout |
| -rw-r--r-- | Main4.lean | 78 | logplainabout |
| -rw-r--r-- | Main5.lean | 78 | logplainabout |
| -rw-r--r-- | Main6.lean | 78 | logplainabout |
| -rw-r--r-- | Main7.lean | 78 | logplainabout |
| -rw-r--r-- | Main8.lean | 78 | logplainabout |
| -rw-r--r-- | Main9.lean | 78 | logplainabout |
| -rw-r--r-- | lake-manifest.json | 113 | logplainabout |
| -rw-r--r-- | lakefile.toml | 140 | logplainabout |
| -rw-r--r-- | lean-toolchain | 29 | logplainabout |
| -rw-r--r-- | 【東方】Bad Apple!! ＰＶ【影絵】 [FtutLA63Cp8].webm | 8616807 | logplainabout |
 |
index : leanime | |
| Bad Apple!! but it's 3288 Lean tactics spamming VSCode | Anthony Wang |
| summaryrefslogtreecommitdiff |