ReamLabs / ReamLabs/leanroadmap
Add lean week (Oct 2025) content
Nobody has claimed this yet.
- Dominant language
- TypeScript
- Stars
- 8
- Forks
- 24
- PR merge metrics
- No merged PRs in 30d
Description
Not sure how best to list these down in a nice way. Probably need a bit of thinking on the layout.
https://www.youtube.com/playlist?list=PLJqWcTqh_zKGPctGzVOBllZnCPQj-g7d3
Plus all the related content here: https://github.com/leanEthereum/pm/blob/main/workshops-and-interops/2025/lean-week-cambridge/index.md
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reviewing the linked Lean Week Cambridge index.md and the YouTube playlist to understand the related October 2025 content. Locate the corresponding content area in leanroadmap, decide on a clear layout, and confirm that the Lean Week content and links are listed comprehensively.
Written by the indexing model from the issue text.
Assessment
- Domain
- documentation
- Issue type
- Documentation
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100