| Commit message (Collapse) | Author | Age | Lines | |
|---|---|---|---|---|
| * | [lean4/en] Documentation for Lean 4 (#4893) | Balagopal Komarath | 2024-05-13 | -0/+519 |
 |
index : learnxinyminutes-docs | |
| Code documentation written as code! How novel and totally my idea! |
| summaryrefslogtreecommitdiffhomepage |
path: root/lean4.html.markdown