Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
LeanCourse24
Bonn Lean course for winter 24/25
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
3
Last push
5mo ago
Recent commits
Latest commits.
Bump actions/cache from 4 to 5 (#4)
dd654a8
dependabot[bot]
5mo ago
Bump actions/checkout from 5 to 6 (#3)
b6e7f28
dependabot[bot]
7mo ago
Bump actions/upload-pages-artifact from 3 to 4 (#1)
5136412
dependabot[bot]
10mo ago
Bump actions/checkout from 4 to 5 (#2)
ecfa059
dependabot[bot]
10mo ago
cleanup
5abe96e
Floris van Doorn
11mo ago
Create Solution10.lean
f8f8aea
adelon
18mo ago
add lecture 11 before class
59c9a31
Floris van Doorn
18mo ago
Create Solution9.lean
4f20af7
adelon
18mo ago
Top contributors
Builders behind this project.
fpvandoorn
51 commits
adelon
12 commits
dependabot[bot]
4 commits
