Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
cs263
sampoder/cs263
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
3
Last push
2mo ago
Recent commits
Latest commits.
Merge branch 'mwillsey:2026-spring' into 2026-spring
5ef8e99
Sam Poder
2mo ago
Add hw4
24c104a
Max Willsey
2mo ago
Merge branch 'mwillsey:2026-spring' into 2026-spring
51fb094
Sam Poder
2mo ago
add lec 13
a0a01ab
Max Willsey
2mo ago
Merge branch 'mwillsey:2026-spring' into 2026-spring
016e9d9
Sam Poder
3mo ago
add another ex
70ca2e2
Max Willsey
3mo ago
lec 12
5cf6b61
Max Willsey
3mo ago
Merge branch 'mwillsey:2026-spring' into 2026-spring
bac9801
Sam Poder
3mo ago
Top contributors
Builders behind this project.
mwillsey
31 commits
sampoder
15 commits
RArbore
1 commits