| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Don't use CGI or lake | Anthony Wang | 4 weeks | |
| Age | Commit message | 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 | ||
| Clone | ||||
| https://git.unnamed.website/leansite | ||||
 |
index : leansite | |
| Made using the best language ever | Anthony Wang |
| aboutsummaryrefslogtreecommitdiff |