6 lines
318 B
Markdown
6 lines
318 B
Markdown
- [ ] Tutorial World #LEAN 📅 2025-02-21 ⏳ 2025-02-17
|
|
- [ ] Addition World #LEAN 📅 2025-02-28 ⏳ 2025-02-23
|
|
- [ ] Implication World #LEAN 📅 2025-03-07 ⏳ 2025-03-02
|
|
- [ ] Multiplication World #LEAN 📅 2025-03-07 ⏳ 2025-03-07
|
|
- [ ] Schedule further worlds #LEAN 📅 2025-03-07 ⏳ 2025-03-07
|