| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-05-06 | Don't use CGI or lakeHEADmaster | Anthony Wang |
| 2025-05-06 | More Lean propaganda | Anthony Wang |
| 2025-05-06 | Fix typo | Anthony Wang |
| 2025-05-06 | Wait it should be text/html not text/plain | Anthony Wang |
| 2025-05-06 | Rewrite it in Lean | Anthony Wang |
| 2025-05-05 | Fix wording | Anthony Wang |
| 2025-05-05 | Add license because why not | Anthony Wang |
| 2025-05-05 | LEAN FAN SITE | Anthony Wang |
 |
index : leansite | |
| Made using the best language ever | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |