| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Update Lean version | Anthony Wang | 4 days | |
| Age | Commit message | Author | ||
| 4 days | Update Lean versionHEADmaster | Anthony Wang | ||
| 4 days | Initial commit | Anthony Wang | ||
| Clone | ||||
| https://git.unnamed.website/marden | ||||
 |
index : marden | |
| Marden's theorem in Lean | Anthony Wang |
| summaryrefslogtreecommitdiff |